5.1.2

The 5.1.2 release is a patch to fix the API docs. See the 5.1.0 notes for detail on the 5.1 release.

• #8413 - Remove extra curly in type (@tschaub)