Your message dated Fri, 10 Apr 2020 00:50:10 +0300 with message-id <20200409215010.GY1518@E5400> and subject line Re: bug#40528: 'guix lint' does not check whether propagated-inputs should be native has caused the debbugs.gnu.org bug report #40528, regarding 'guix lint' does not check whether propagated-inputs should be native to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 40528: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40528 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems