2.12.5 release notes

Bug fixes

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