🏅 Top traders

This market should be resolved. The nomination vote closed on July 15, and it was unanimous. Someone should notify the moderators if the market has been forgotten about.

You can ping @mods for resolution (IIUC there were some abstentions in the roll call? But yeah <2% not enough to matter here)