Subject: Re: bug#44155: Print integers as characters

From: Mattias Engdegård <[email-masked]>
Date: Fri, 6 Nov 2020 14:02:59 +0100

4 nov. 2020 kl. 17.58 skrev Mattias Engdegård <[email-masked]>:

> The last patch was incorrect; here is the right one. Apologies for the confusion.

Pushed to master, since there wasn't much left to discuss. As usual, it can be modified or reverted as needed.