Hello, On Tue, Mar 20 2018, Lev Lamberov wrote:
> Done. Thanks. > Do you think the bug should be closed? As I understand, this change is > what you'd like to have compared to a more complex change with > multiple docs files for multiple "binaries"? Seems fine to close the bug because it is not clear what automation would be desirable. -- Sean Whitton
signature.asc
Description: PGP signature