On 05 Sep 2010, at 7:05 PM, Ruediger Pluem wrote:

Nitpicking: IMHO we are changing a public API. Where is the minor bump?

Thanks for the catch, it's in r996311.

Regards,
Graham
--

Reply via email to