[NEST Users] NEST 2.20.1

Hi, Is NEST 2.20.1<https://github.com/nest/nest-simulator/milestone/8> the installed version (when following https://nest-simulator.readthedocs.io/en/stable/installation/index.html), since it solves issue #1394<https://github.com/nest/nest-simulator/issues/1394>? it seems it is completed. If this is not, when will this happen? Thanks a lot Ing Jyh Tsang