Sijmen Mulder
- Total activity 2
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 1
-
Sijmen Mulder created a post, AnsweredDiffIgnoredRangeProvider extension sometimes not listed in dropdown
I created a plugin with only a no-op DiffIgnoredRangeProvider and it sometimes doesn't show up in the dropdown. I'm at a loss for debugging this. Here are repro steps: Create a blank new plugin pr...