From the thread you linked to, there’s apparently a pull request to the Servo library that fixes it, which is already merged in to the master (development) branch of the library, but has not yet been released in a version[1], so it’s not available via the Arduino Library Manager’s online listings.
If you install the library manually from the code in GitHub then it should work.
I believe the simplest way of doing that is to download the code from the GitHub repository (click the green “Code” button, then “Download ZIP”), then import that into your Arduino IDE.
The last release was in June last year, whereas the pull request was only merged this January. ↩︎