On Thu May 5 07:37:15 2022 +0000, Rémi Bernon wrote:
I forgot to strip some metadata from the commit messages, I updated the commits again (though it didn't send an update to the mailing-list because nothing else changed).
Actually it did send an update... weird.