Thanks for the report, and fix!

There were a few style issues with the pull request (missing DCO, no commit
message, you forgot to move the metadata saving of the command), so I just
committed this fix instead of merging the pull request.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.