Subject: Re: bug#62486: "--without-x" is ignored when"--with-x-toolkit=no"

From: [email-masked]
Date: Mon, 27 Mar 2023 18:23:57 +0000

Am 27.03.2023 18:00 schrieb Gregory Heytings:
> By the way, please consider asking questions on [email-masked]
> before filing bug reports.

It wasn't a question but a bug report about potential to improve 
documentation.