Post B5kxxJ8kJqa4Q3EWGW by filippo@abyssdomain.expert
 (DIR) More posts by filippo@abyssdomain.expert
 (DIR) Post #B5kxxJ8kJqa4Q3EWGW by filippo@abyssdomain.expert
       1 likes, 0 repeats
       
       Looks like GitHub silently corrupted some index.PR #237 definitely exists and is closed (https://github.com/C2SP/C2SP/pull/237) but is just... not in the list (https://github.com/C2SP/C2SP/pulls?q=is%3Apr+is%3Aclosed) regardless of filters.I briefly doubted my own sanity. This is bad.