Bump global min to account for API change in JSON encoding

For commit 4306543143d42b6e7b84360c75a2498ef0ed9c92
Merge branch 'develop'