From: | "Michał Górny" <mgorny@g.o> | ||
---|---|---|---|
To: | gentoo-pms@l.g.o | ||
Cc: | "Ulrich Müller" <ulm@g.o> | ||
Subject: | Re: [gentoo-pms] [PATCH] pkg-mgr-commands.tex: No matching reserved names are defined elsewhere | ||
Date: | Wed, 17 Aug 2022 18:18:39 | ||
Message-Id: | fb165fbfe4c6d8dadef0414f2ae01d0fc4179b5b.camel@gentoo.org | ||
In Reply to: | [gentoo-pms] [PATCH] pkg-mgr-commands.tex: No matching reserved names are defined elsewhere by "Ulrich Müller" |