On Tue, 30 Jan 2018 12:54:21 +
Jonathan Wakely wrote:
> On 30/01/18 10:19 +0300, Petr Ovtchenkov wrote:
> >On Tue, 19 Dec 2017 11:37:43 +0300
> >Petr Ovtchenkov wrote:
> >
> >ping^3
>
>
> I don't fully understand the consequences (or need) for this patch.
>
> I asked some other people to
On 30/01/18 10:19 +0300, Petr Ovtchenkov wrote:
On Tue, 19 Dec 2017 11:37:43 +0300
Petr Ovtchenkov wrote:
ping^3
I don't fully understand the consequences (or need) for this patch.
I asked some other people to look at it, and didn't get confirmation
it's OK. So I'm reluctant to make the cha
On Tue, 19 Dec 2017 11:37:43 +0300
Petr Ovtchenkov wrote:
ping^3
> On Thu, 16 Nov 2017 20:55:37 +0300
> Petr Ovtchenkov wrote:
>
> > On Wed, 20 Sep 2017 13:44:59 +0300
> > Petr Ovtchenkov wrote:
> >
> > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71212
> > >
> > > On Fri, 20 May 2016 16:
