Command Logging Addition#9

Open

jheidegger wants to merge 1 commit intoIRI_devfrom

command_logging_naming

Commits on Jul 10, 2023

logging commands and using withName decoration for clarity of inline commands
jheidegger
committed