Henning Hoefer f14b6252e3 Fix bug template ... Fixes a few issues I noticed while filing a bug		2023-08-04 16:29:19 +08:00
..
ISSUE_TEMPLATE	Fix bug template	2023-08-04 16:29:19 +08:00
workflows	ENH: linux: set the two buildings to different names	2023-07-22 14:53:49 +08:00