Release v15.1.2

This releases the fixes in #196 as a patch release.