From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 11 May 2022 15:25:39 GMT
Subject: Re: Resizing panels in the gitk window
Message-ID: <xmqqlev8m6q4.fsf@gitster.g>
In-Reply-To: <YntyF+dHp2WEpI8v@cleo>

Paul Mackerras <paulus@ozlabs.org> writes:

> Junio, could you do a pull from my repository to get them?

Thanks, done.