On 27/05/19 18:10, Philippe Mathieu-Daudé wrote: >>> >> Queued, thanks. > I don't see these patches in your queue merged on "Fri 17 May", are > you planning to include them in your next batch?
Yes, thanks. Paolo
On 27/05/19 18:10, Philippe Mathieu-Daudé wrote: >>> >> Queued, thanks. > I don't see these patches in your queue merged on "Fri 17 May", are > you planning to include them in your next batch?
Yes, thanks. Paolo