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

[PATCH] fix PR ada/80888

2017-05-27 Thread Simon Wright
The GNAT reference manual says in 11.6 Wide_Text_IO , "The default encoding method for the standard files, and for opened files for which no WCEM parameter is given in the FORM string matches the wide character encoding