Mike Banon abandoned this change.
Since CB:51396 has been merged, this change is not needed anymore. However, since it has been referred to in a commit message of CB:51396, it shouldn't be removed - just abandoned.
To view, visit change 51394. To unsubscribe, or for help writing mail filters, visit settings.