-
Julien Muchembled authored
In commit 71d0c4fd, I had in mind to replace basename %s by basename "$COMMAND" Commit cfde18ad was a wrong fix.
0f3ae9fb
In commit 71d0c4fd, I had in mind to replace basename %s by basename "$COMMAND" Commit cfde18ad was a wrong fix.