Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 507ea3b0 authored by Mathieu Giraud's avatar Mathieu Giraud

lib/json.hpp: Works with g++ 4.8 (for us), again

Replays 42e01d24. Thanks to @mikael-s.
parent d15253c2
Pipeline #31164 passed with stages
in 45 seconds