On 4/11/22 18:53, Karel Zak wrote:
On Thu, Apr 07, 2022 at 11:49:31AM +0800, zhenwei pi wrote:Suggested by Karel, rename operation to command. Thus make this more clear.Both patches applied. Thanks! (I did small changes to formatting to make a little bit shorter and usable for translators.) Karel
I test this output, it looks better than the original version. Thanks a lot! -- zhenwei pi
