Today we have released Prince 15.3, a maintenance release that fixes several minor issues detailed in the release notes.

Thank you to everyone who has provided feedback on Prince!