This repository was archived by the owner on Feb 14, 2025. It is now read-only.

Remove heavy users#435

Merged

fbertsch merged 3 commits into

mozilla:masterfrom

fbertsch:remove_heavy_users

Jun 8, 2018

Commits on Jun 4, 2018

Remove heavy users
fbertsch
committed

Commits on Jun 6, 2018

Merge branch 'master' into remove_heavy_users
fbertsch
authored

Commits on Jun 7, 2018

Merge branch 'master' into remove_heavy_users
jklukas
authored