From: "G.B." <bauhaus@notmyhomepage.invalid>
Subject: Re: Where to report bugs in gnatpp?
Date: Wed, 27 Sep 2023 07:11:41 +0200 [thread overview]
Message-ID: <uf0did$2uh5a$1@dont-email.me> (raw)
In-Reply-To: <uevpnb$2nni9$1@dont-email.me>
On 27.09.23 01:32, richardthiebaud wrote:
> I have a bug with gnatpp which prevents is starting. Where should I report this? I tried to report it on Gnu's bug system but they said it is not their program.
When I invoke mine with option --help, then the last line
it outputs has this:
Report bugs to...
$
next prev parent reply other threads:[~2023-09-27 5:11 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-09-26 23:32 Where to report bugs in gnatpp? richardthiebaud
2023-09-27 5:11 ` G.B. [this message]
2023-09-27 19:26 ` Blady
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox