Julien Palard b8eb0ae207 Make merge 3.10 (#1837) ... * Make merge * Whine about lines too long only if line contains a space.		2022-04-05 12:13:01 +02:00
..
ISSUE_TEMPLATE	Issue template for file reservations. (#1029)	2019-11-26 10:24:30 +01:00
problem-matchers	Problem Matcher for pospell (#1493)	2020-12-02 00:20:06 +01:00
workflows	Make merge 3.10 (#1837)	2022-04-05 12:13:01 +02:00
FUNDING.yml	FIX: github error.	2020-06-09 17:56:19 +02:00
stale.yml	Exempt EASY issues.	2020-11-25 20:00:10 +01:00