• Kevin@programming.dev
    link
    fedilink
    arrow-up
    47
    ·
    5 days ago

    That PR seems to have been closed rather than merged though, I don’t think it has reverted the change yet