Thankful comments on closed issues are definitely allowed and quite appreciated. Mailing list posts work too though.
On Tuesday, April 27, 2021 at 8:16:38 AM UTC-7 jos.koot wrote: > Because the issue is closed I express my thanks to Matthew here. > > I am not sure it is allowed to add thanks to a closed issue. > > Jos > > > > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/178e57f1-e810-43d3-9981-52cb1af561b9n%40googlegroups.com.