]> git.sur5r.net Git - freertos/search
Update version number to 8.1.2 after moving the defaulting of configUSE_PORT_OPTIMISE...