On 27/06/2017 10:39, Thomas Huth wrote: > Oh, right, thanks! That apparently happens when sending patches too > early in the morning ;-) > I'll wait for some more comments about whether to include > "-Wwrite-strings" or not, then I'll respin this patch. Yes, please do. Paolo