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