Switch to json 'develop' branch due to compilation issues with newer compilers

d331641a · Philipp Götze · 36d53940 · d331641a
Commit d331641a authored Dec 06, 2017 by Philipp Götze
--- a/cmake/Download3rdParty.cmake
+++ b/cmake/Download3rdParty.cmake
@@ -23,7 +23,7 @@ add_custom_command(
 # the JSON library
 download_project(PROJ               json
                GIT_REPOSITORY      https://github.com/nlohmann/json.git
-                GIT_TAG             master
+                GIT_TAG             develop
                UPDATE_DISCONNECTED 1
                QUIET
 )