[PATCH v5] ungetc: Guarantee single char pushback

[Maciej W. Rozycki]

On Mon, 16 Dec 2024, Alejandro Colomar wrote:

> Feel free to apply your patch, and I can apply mine afterwards.  I don't
> think the order is important.  :)

 Conversely I think getting the order right will help with backporting 
downstream.

  Maciej