Jeremy Stretch d4535bc5c5 Merge branch 'develop' into develop-2.10		2020-12-11 16:57:04 -05:00
..
ISSUE_TEMPLATE	Encourage people to use GitHub discussions in place of the mailing list	2020-12-10 15:59:42 -05:00
workflows	Merge branch 'develop' into develop-2.10	2020-12-10 10:26:15 -05:00
PULL_REQUEST_TEMPLATE.md	Tweak PR template to indicate placement of issue number	2019-11-01 11:52:43 -04:00
stale.yml	Allow stalebot to tag issues marked as under review	2020-07-24 14:58:05 -04:00