Hi Tomas, thank you very much for contributing this patch.
I wonder, though, why you are using such a convoluted path to submit this change? You have an account on github, "tohl", so you *can* create pull requests, which are vastly simpler to handle than a posting to this mailing list is. Yet, instead of opening a PR, you post this patch here and then use your Github account to post to the Nixpkgs bug tracker a reference to your submission on the list. This feels very awkward. Is there any particular reason why you choose to communicate in this fashion? Best regards, Peter _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-dev
