Revision 7e60ef75d3de3291f95e4e82172e0e1e776317b1

Committed on 08/01/2021 7:16 am by Frederic Bauer <[email protected]> [GitHub Diff]

Small hotfix update of command names for more clarity