From 12511580c732895e8c5d045e18803a766ed733b8 Mon Sep 17 00:00:00 2001 From: Alexander Foremny Date: Thu, 9 Nov 2023 15:39:38 +0100 Subject: don't reference issues with @ --- app/Main.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'app') diff --git a/app/Main.hs b/app/Main.hs index e1ae560..a51ba1e 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -171,7 +171,7 @@ -- would be more appropriate? -- -- I am sympathetic to random identifiers, cf. --- @should-automatically-generated-ids-be-random, as long as they are an +-- should-automatically-generated-ids-be-random, as long as they are an -- additional mechanisam (so that we can ditch them, should they not work out). -- TODO Only separate generated tags with a blank line when description does not end with tags -- cgit v1.2.3