Don't barf on duplicate recent repo list entries, nor a full list (#10)

patthoyts/git-gui Philip Oakley 1 participant 1 message Mar 19, 2017 2 messages not in the archive

Share & tools

A message that is not in the archive (sent off-list or not yet received): patthoyts/git-gui/pull/[email protected]

A message that is not in the archive (sent off-list or not yet received): patthoyts/git-gui/pull/10/issue_event/[email protected]

Philip Oakley

author

2017-03-19 23:11 UTC #2 lore raw

Quoted 7 lines

From: Pat Thoyts
To: patthoyts/git-gui
Cc: Philip Oakley ; Mention
Sent: Saturday, March 18, 2017 3:47 PM
Subject: Re: [patthoyts/git-gui] Don't barf on duplicate recent repo list entries, nor a full list (#10)
Merged #10.

--
Thanks.

This also completes https://public-inbox.org/git/B8156313FCCD473C988E790F7ABEC224@PhilipOakley/ (originally https://public-inbox.org/git/[email protected]/)

Philip