Subject: Re: [PATCH] gnu: Add paml.

From: Ricardo Wurmus <[email-masked]>
Date: Fri, 13 Oct 2017 11:15:56 +0200

> +                   (docs    '("Bismark_User_Guide.pdf"
> +                              "RELEASE_NOTES.txt")))

I removed this, because it is not used.
“guix lint” does not complain, so I pushed it to master.

-- 
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net