On Thu, Mar 24, 2016 at 10:56 AM, Ruediger Pluem <[email protected]> wrote:
>
> You forgot the real bump :-)

Thanks :) fixed in r1736428.

Reply via email to