Opzione per nascondere gli indirizzi IP dai moderatori

[featheredtoast (Jeff Wong)]

The PR has been brought up to date with latest Discourse and merged into core.