On Mon, Dec 11, 2017 at 17:32:48 +0000, Peter Maydell wrote: > Thanks. I think I have come down on the side of putting this into > 2.11, so rolling an rc5 today, and delaying the final release > a day to Wednesday.
Glad to see it's in -rc5 -- thanks for fixing this so quickly!
Again, apologies for not having caught this earlier ;-(
Emilio
