Today we have released Prince 5.1 rev 10, a maintenance release featuring two bug fixes.

Prince 5.1 users are encouraged to download this new version, which is available as a free upgrade.

Many thanks to everyone who has provided feedback on Prince 5.1!

Michael