Split 'nix/' into commit '728f5350afb9ea992bfd0344a2044259285bde3f'
authorIsmaël Bouya <ismael.bouya@normalesup.org>
Mon, 6 May 2019 08:16:46 +0000 (10:16 +0200)
committerIsmaël Bouya <ismael.bouya@normalesup.org>
Mon, 6 May 2019 08:16:46 +0000 (10:16 +0200)
git-subtree-dir: nix
git-subtree-mainline: 03302cf32009feb2eeaf5dff1ad5460334620616
git-subtree-split: 728f5350afb9ea992bfd0344a2044259285bde3f


Trivial merge