tree d3ef54a06176ad92afe197aba09be9ab2083f473
parent 30e4780dc7137a5da0c0eafdb330128be76d6723
author Joerg Zieren <zieren@google.com> 1646650057 +0100
committer Joerg Zieren <zieren@google.com> 1646650057 +0100

Fix a call site where the return value of a pure getter method is unused

Change-Id: Id5ed0ebc8fd05a54cf17995607ce139d045b884a