Hello Tobias,

looking at your recent addition (cool!) I found that your commit also
upgrades nix to 2.3.7, probably by mistake.

I don't know if there is a policy in cases like this: should we revert
that commit and split in two commits?

Kudos! Gio'

-- 
Giovanni Biscuolo

Xelera IT Infrastructures