On Tue, Jan 12, 2021 at 06:46:37PM +0100, Francesco P. Lovergine wrote:
In the meantime, I think I could prepare some branches for that, for future merges. Did you already experimented with 12?
I mean /personal/ branches, it is not the case to pollute the repo with experimental branches. -- Francesco P. Lovergine