From 007aa191d9b1b7122bd3881316e359258ec98674 Mon Sep 17 00:00:00 2001
From: Mike Matera <maximus@fatboycentral.com>
Date: Mon, 3 Jan 2022 21:12:03 -0800
Subject: [PATCH] Fix library name.

---
 library.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library.properties b/library.properties
index 4ff360e4..a8281b81 100644
--- a/library.properties
+++ b/library.properties
@@ -1,5 +1,5 @@
-name=Arduino_AVRSTL
-version=1.3.1
+name=ArduinoSTL
+version=1.3.2
 author=Mike Matera <matera@lifealgorithmic.com>, Chris Johnson <chrisjohnsonmail@gmail.com>, Arduino
 maintainer=Mike Matera <matera@lifealgorithmic.com>
 sentence=A port of uClibc++ Arduino library.