Hi Marcus, all > On October 17, 2018 at 8:13 PM Marcus <[email protected]> wrote:
> OK, a suggestion: > > Let's do the 4.1.6 release and look closely for such comments. When > there are many comments that DEB would be the better default then we > should change it. Sounds like a good plan! Thanks! Regards Pedro --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
