Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Fix /purge_history bug #924

Merged
merged 1 commit into from Jul 18, 2016
Merged

Fix /purge_history bug #924

merged 1 commit into from Jul 18, 2016

Conversation

erikjohnston
Copy link
Member

This was caused by trying to insert duplicate backward extremeties

This was caused by trying to insert duplicate backward extremeties
@NegativeMjark
Copy link
Contributor

LGTM

@erikjohnston erikjohnston merged commit fca90b3 into develop Jul 18, 2016
@richvdh richvdh deleted the erikj/purge_history branch December 1, 2016 14:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants