On 4 August 2015 at 16:53, Peter Maydell <[email protected]> wrote: > On 4 August 2015 at 16:50, Eduardo Habkost <[email protected]> wrote: >> No problem. If you want to, I have just published a signed tag ready for >> pulling: > > Great, I'll use that.
Applied, thanks. -- PMM
