Hi!
On Wed, 8 Jun 2016 16:08:38 +0200, Jakub Jelinek wrote:
> On Wed, Jun 08, 2016 at 03:27:44PM +0200, Thomas Schwinge wrote:
> > This got me confused recently, so I took the effort to clean it up. OK
> > to commit?
>
> As I said earlier, I don't find anything confusing on what we have there
>
On Wed, Jun 08, 2016 at 03:27:44PM +0200, Thomas Schwinge wrote:
> Hi!
>
> This got me confused recently, so I took the effort to clean it up. OK
> to commit?
As I said earlier, I don't find anything confusing on what we have there
and would strongly prefer not to change it.
Can you submit the a
