– 12.0.2 has been released.
– What, when?
– I believe it was yesterday.
– Hmm, didn’t notice
– No, me neither. Not even posted on Github as a new release when I last checked.

Well, that’s how small it was. Just one bug fix. For us to release a new version it takes about 24 hours all and all as we have so many versions, and as the 12.0.1 VM already contains all the new scripts and fixes there is really no reason for us to make a new release. Other than that the startup script takes care of it for you and will upgrade to the latest version anyway.

So just as an formal notice, no, we won’t upgrade/release 12.0.2. :)