restore unique element filter on scripts dropdown menu #2273

Merged
merged 1 commit into from Sep 24, 2015

Projects

None yet

2 participants

@the8472
Contributor
the8472 commented Sep 13, 2015

fixes duplicates introduced by 6b05c48

@arantius arantius added this to the 3.5 milestone Sep 14, 2015
@arantius arantius merged commit d0aea26 into greasemonkey:master Sep 24, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment