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.

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

Replays 42e01d24. Thanks to @mikael-s.
4 jobs for dev in 45 seconds (queued for 33 seconds)
Status Job ID Name Coverage
  Test Tools
passed #128136
test_tools

00:00:04

 
  Test Quality
passed #128137
web
code_quality

00:00:11

 
  Test Unit
passed #128138
web
test_browser_unit

00:00:09

passed #128139
web
test_server_unit

00:00:21