>>>>> On Thu, 19 Jul 2018, Johannes Huber wrote: >> app-doc/devmanual
> I took those by myself. I have added the devmanual project as well, as a backup maintainer. Ulrich
pgpB8U3Eu2VqK.pgp
Description: PGP signature
>>>>> On Thu, 19 Jul 2018, Johannes Huber wrote: >> app-doc/devmanual
> I took those by myself. I have added the devmanual project as well, as a backup maintainer. Ulrich
pgpB8U3Eu2VqK.pgp
Description: PGP signature