Re: Please pull gitk master branch

Paul Mackerras [off-list ref] writes:

Junio,

Please do a pull from my gitk repository master branch to get the
following commits:

Thanks, pulled and pushed out.