Hi David,

I have pushed your patches to the repository. Thanks a lot for the
updates!

Take care,
Peter

_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev

Reply via email to