HomeIsabelle/Phabricator

Rebuild configure with new release numbers.

Description

Rebuild configure with new release numbers.

Details

Provenance
dcjmAuthored on Jul 17 2020, 9:29 AM
Parents
rPOLYML382085c5f04c: Update version numbers ready for release of 5.8.1.
Branches
Unknown
Tags
Unknown