Frederik Rietdijk 0be87c7979 Revert "Merge master into staging-next" ...

I merged master into staging-next but accidentally pushed it to master.
This should get us back to 87a19e9048.

This reverts commit ac241fb7a5, reversing
changes made to 76a439239e.

2020-02-05 19:18:35 +01:00

..

default.nix

Revert "Merge master into staging-next"

2020-02-05 19:18:35 +01:00