log-2020-09-02_16-41-42.txt
When this merge request is accepted, this issue will be closed automatically.
I intentionally didn't bother with formatting because I see the command as a minor debug tool. If anyone else feels it's important I have no objection to formatting it though.
mentioned in merge request !1150 (merged)
closed via merge request !1150 (merged)
mentioned in commit 30056157