HomeGitPull.it

api: log/print all messages to prevent the user from losing them

Description

api: log/print all messages to prevent the user from losing them

Details

Provenance
valerio.bozzolanAuthored on May 26 2022, 19:20
valerio.bozzolanPushed on May 26 2022, 19:21
Parents
R21:5f60cc3984c8: wbgetclaims: claims are now imported as statements (so with rank etc.)
Branches
Unknown
Tags
Unknown
References
HEAD -> master