On Thu, Jul 10, 2014 at 11:32 AM, Marius Kotsbak <marius at kotsbak.com> wrote: > Well, isn't this a bugfix rather than API break? A public enumeration value changed, so the API should be considered changed. :/ -- Aleksander https://aleksander.es