On Sat, 14 May 2022, Jakub Jelinek wrote: > I often just copy from git diff from a year ago, which has the > disadvantages that issues that are fixed later on keep reappearing.
Ah, makes sense. ;-) Any idea how we/I might help avoid or mitigate this? (Even a validator would not catch all, as I just noticed.) Gerald