help / color / mirror / Atom feed
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$> (raw)
In-Reply-To: <uevpnb$2nni9$>

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...

  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