git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

  • mmn's avatar
    Show shares in public timeline · dcb7ce36
    mmn authored
    Also, the unselect rule for DELETE was useless anyway since it would
    already have been filtered out by not having true.
    
    (the => false stuff are for when you want ALL _except_ that)
    dcb7ce36