Re: gitk: cherry-pick issue
From: Paul Mackerras <hidden>
Date: 2016-06-15 22:43:31
Johannes Sixt writes:
Yes, indeed, I had this option turned off.
I just pushed out a fix. Paul.
- (off-list ancestor, not in this archive)
- Re: gitk: cherry-pick issue · Johannes Sixt <hidden> · 2016-06-15
- Re: gitk: cherry-pick issue · Paul Mackerras <hidden> · 2016-06-15