prefer define_commands_bulk: fewer protocol messages;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4a358f8c7cb7: clarified signature;
- Branches
- Unknown
- Tags
prefer define_commands_bulk: fewer protocol messages; Tags None Subscribers None |