[Switch submodule branch] Fix bad submodule reference

This commit is contained in:
François Grisez 2017-02-22 13:11:18 +01:00
parent a18d3316cc
commit 10b9d0cbaa

@ -1 +1 @@
Subproject commit 11fb136861afadaa003ff552426f52d5b9c34889
Subproject commit dc42890ea46f9f410d6dda00d37112d5503284a1