Hello! I went ahead and merged this with commit 5800d2aae2. I think it provides more benefits (breaking 'guix pull' is quite bad) than drawbacks.
Thanks for your input! Closing, Maxim
Hello! I went ahead and merged this with commit 5800d2aae2. I think it provides more benefits (breaking 'guix pull' is quite bad) than drawbacks.
Thanks for your input! Closing, Maxim