Skip to content

Kill guix stuff, it's annoying to keep that in sync.

Robbert Krebbers requested to merge robbert/kill_guix into master

Merge request reports