google/grr — pull request #71 by pidydx (2014-12-03 20:45:54+00:00)
Title: Reapplied user label fix

After the label format changed this got fixed, then unfixed, then fixed again, then unfixed, so resubmitting the last fix to refix the currently unrerefixed state :)