tree 05488df57476f9b55a580361dd3a8aa23705d81a
parent 3cf2e309d7e4c2f7785d6d6b9f5e1910d156be8d
author Tamas Kenez <tamaskenez@google.com> 1533729995 +0200
committer Tamas Kenez <tamaskenez@google.com> 1533729995 +0200

Minor fix, addressing review comment for previous CL.

Change-Id: I33d8d0ad6ed6839bdd6f29fd7a35001c3d943eaa