Re: gitk: cherry-pick issue

Paul Mackerras [off-list ref] writes:

Johannes Sixt writes:

quoted

Yes, indeed, I had this option turned off.

I just pushed out a fix.

Thanks, pulled.