Release 1.12.4 1.12.4 Total issues resolved: 0 Total pull requests resolved: 1 Total contributors: 1 Bug 1103: Fix error when resetting manager registry thanks to @alcaeus