HomeGitPull.it

exceptions: fix unexisting FailedSave class

Description

exceptions: fix unexisting FailedSave class

Details

Provenance
valerio.bozzolanAuthored on May 26 2022, 14:11
valerio.bozzolanPushed on May 26 2022, 19:21
Parents
R21:6097da9c3634: statement: add some set rank shortcuts
Branches
Unknown
Tags
Unknown