Luca Boccassi 634cf9eea7 Problem: windows-2016 build no longer runs in CI ... Solution: remove it		2023-01-12 01:07:06 +00:00
..
workflows	Problem: windows-2016 build no longer runs in CI	2023-01-12 01:07:06 +00:00
CONTRIBUTING.md	Problem: PR template is mostly about contributing guidelines	2019-07-26 13:11:52 -04:00
issue_template.md	Problem: bug reports are often missing relevant information	2017-08-25 13:16:23 +02:00
stale.yml	Problem: stale bot label exceptions not correct	2018-11-04 15:50:40 +00:00