From: Ruben Beltran del Rio Date: Mon, 9 May 2022 20:33:45 +0000 (+0200) Subject: Correct CI mode X-Git-Url: https://git.r.bdr.sh/rbdr/r.bdr.sh/commitdiff_plain/fb8c036a9268a1ce572c622450ace4a2e9fdf336?hp=fb8c036a9268a1ce572c622450ace4a2e9fdf336 Correct CI mode ---