Subject: Re: bug#60084: 30.0.50; Ignore GDB history

From: Manuel Giraud <[email-masked]>
Date: Thu, 15 Dec 2022 16:37:14 +0100

Eli Zaretskii <[email-masked]> writes:

[...]

> Yes.  But I can never remember who does and who doesn't have write
> access.  Sorry.

Nevermind.  I thought it was small set of people.  And thanks for the
push.
-- 
Manuel Giraud