Daniel Shahaf wrote:
> Release notes text for 1.15.html (or possibly 1.16.html)?  An API
> erratum in notes/?  Is either of these needed?

I don't think this needs an API erratum.  We should pick up the change in the 
change log and perhaps release notes as part of the usual process.  I don't 
think it needs a special call-out or extra description.  Let me know if you 
think it does.

-- 
- Julian

Reply via email to