Re: d-e-doc, dropping the Debian Edu Stretch manual

[Frans Spiesschaert]

Hi Wolfgang,

Wolfgang Schweer schreef op za 22-02-2020 om 01:01 [+0100]:
>  
> Frans, please go ahead.

Thank you. It's done now.