tree 385efbcaaf89dcd2b6bc116c58a403a72733be7d
parent 9feb440fa9ac44d28a9037c4fc9710b0f0c7c070
author Tamas Kenez <tamaskenez@google.com> 1556191921 +0200
committer Tamas Kenez <tamaskenez@google.com> 1556191921 +0200

Minor follow-up to previous commit.

Change-Id: I4c629e9a3cede7e217fdb1b97310a428cc2fdd8d