2.12.5 release notes

Released 2017-08-18

Bug fixes

• Fix bug where id generation wouldn’t automatically increase id length when it ran out of ids. Issue: #3790