Le mardi 3 avril 2018, 12:41:26 EEST Thomas Guillem a écrit : > This patch is only about renaming (and maybe add some > other options later). Which is exactly what breaks it as I explained multiple times already. -- Rémi Denis-Courmont