On 08/01/2018 14:43, Peter Maydell wrote: > Applied, thanks. > > (We should make sure we mention this in the changelog, and > perhaps have a blog post about it at release time, if anybody > would like to volunteer to write one.)
I can write one before the release, you can imagine what I'm busy with right now... :) Paolo