From f9db81b07bd9196ddd435a027b719cbb21fa37b8 Mon Sep 17 00:00:00 2001 From: "Andres G. Aragoneses" Date: Thu, 7 Nov 2024 15:06:42 +0800 Subject: [PATCH] Empty commit to spawn CI CI of last commit was broken because of commitlint (maybe I gotta relax the rules when finding a Merge commit...).