subject:"Re\: \[PATCH\] fix PR ada\/80888"

Re: [PATCH] fix PR ada/80888

2017-06-18 Thread Arnaud Charlet

> Ping > If OK, can it be applied please? > (patch applies cleanly to current sources) Patch is OK. I'll apply it when I get a chance. Arno

Re: [PATCH] fix PR ada/80888

2017-06-16 Thread Simon Wright

Ping If OK, can it be applied please? (patch applies cleanly to current sources) > On 27 May 2017, at 16:58, Simon Wright wrote: > > The GNAT reference manual says in 11.6 Wide_Text_IO > , > > "The default encoding method for th