On 5/2/19 1:04 PM, Jakub Jelinek wrote: > Well, that doesn't answer the question. > I was wondering why you couldn't: Ah sorry, you are right. The patch you suggested is obviously nicer than what we have currently in trunk. Feel free to install it. Martin