Re: Resizing panels in the gitk window

Paul Mackerras [off-list ref] writes:

The ozlabs.org infrastructure changes every so often, and while the
plain ozlabs.org works now and is not expected to stop working,
git.ozlabs.org would be a little more future-proof.

Will do.  Thanks.