HomeIsabelle/Phabricator

more robust: store important meta info before potential failure;

Description

more robust: store important meta info before potential failure;

Details

Provenance
makariusAuthored on
Parents
rISABELLE37226f74f33a: tuned message;
Branches
Unknown
Tags
Unknown