30 Oct
2020
30 Oct
'20
2:19 p.m.
Daniel-Constantin Mierla writes:
This is due to some ongoing work started in the
morning -- I just
updated the wiki core cookbook and the upgrade guidelines:
Just after sending the email, I saw the emails of the related commits
and figured out the change.
-- Juha