On Wed, Jan 19, 2022 at 5:52 PM Emmanuel Bourg <[email protected]> wrote: > Fortunately a non-reproducible javadoc isn't really important, what > matters the most is to have reproducible executable packages.
That seems like a reasonable statement ! Rémy --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
