Tobias Geerinckx-Rice dcf3fe2b78

dev86: 0.16.19 -> 0.16.21 ...

Drop the ‘awful hackery’ that no longer seems needed (I can reproduce
the failure with .19, not with .21).

2016-05-10 23:30:37 +02:00

..

default.nix

dev86: 0.16.19 -> 0.16.21

2016-05-10 23:30:37 +02:00