PR #2123 Exclude DEL from historical user IDs

Exclude DEL from historical user IDs #2123

turt2live merged 1 commit into master from travis/fix-historical-ids

Exclude DEL from historical user IDs

18eca900

turt2live requested a review 6 years ago

richvdh approved these changes on 2019-06-12

turt2live merged d26cf7da into master 6 years ago

turt2live deleted the travis/fix-historical-ids branch 6 years ago

Reviewers

richvdh

Assignees

No one assigned

Labels

None yet

Milestone

No milestone