Bug#147164: ping and new proposal

Thomas Lange <[email protected]> Mon, 8 Apr 2019 16:06:11 +0200

Newsgroups	gmane.linux.debian.devel.www
Message-ID	<23723.21843.20153.346206__24623.8666864642$1554732563$gmane$org@informatik.uni-koeln.de>

>>>>> On Mon, 8 Apr 2019 16:54:21 +0300, Andrei POPESCU <[email protected]> said:
    > I would suggest this should read "Every document must have at least one 
    > active maintainer" (regardless of what the Maintainer: field contains).
So you mean the usual Debian package maintainer? Then we do not need
to mention this explicitly, but better say that every manual should
be also a Debian package. Are there manuals which are not in Debian
package?