library.properties still shows ``` version=2.1.3 ``` while release number is now 2.1.4. As a consequence, the library manager of the Arduino IDE does not list the last version. <img width="489" height="802" alt="Image" src="https://github.com/user-attachments/assets/ab9984c8-44d6-478a-bcd8-37c0706dce1c" />
library.properties still shows
while release number is now 2.1.4.
As a consequence, the library manager of the Arduino IDE does not list the last version.