HomeIsabelle/Phabricator

Update version numbers ready for release of 5.8.1.

Authored by dcjm on Fri, Jul 17, 9:27 AM.

Description

Update version numbers ready for release of 5.8.1.

Details

Committed
dcjmFri, Jul 17, 9:27 AM
Parents
rPOLYML94c8208a89c8: Add a related check for offsets that could exceed a signed 32-bit value.
Branches
Unknown
Tags
Unknown