tree e3a31fd9c5a08ec83e0e5ac65fb3833cb56eb858
parent 21d58134edc8558c64ad9d0ac2c2294922f67679
parent da8954432c61443ef2886d30dd52529b0674df3a
author Edwin Kempin <ekempin@google.com> 1666076251 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1666076251 +0000

Merge "Don't ignore .txt file extension"