Richard Henderson Mon, 09 Dec 2013 09:46:09 -0800
On 12/07/2013 12:17 PM, Peter Maydell wrote: > This seems to have lost the free of addr64.
Oops, yes indeed. r~