On 2013-11-08 19:37, Andrej Mitrovic wrote:
The list of issues fixed were generated on October 20th, and that bug was not marked as fixed in bugzilla at the time. There's likely a set of additional bugs which are not listed in the changelog, but it's hard to both autogenerate these and then have to manually track which bugs were merged into the 2.064 branch. Everything is done ad-hoc, so you'll end up with this sort of problem.
Aha, I see. The documentation wasn't merged on October 20th so the issue hadn't got closed.
-- /Jacob Carlborg