(Late) release 3.12.0.1

3.12.0 was released some time ago but I didn't notice the commit
wasn't pushed.
The 3.12.0 tag points to the right commit that was used for the
tarball.