tree ff23d8b74c3682089614d42b2cd1e072f30228bd
parent 584cfc6b67a046a9a7ffc43045752bfd70538b21
parent 1705798d13004bcdd5d0860e110f9633bc5d094d
author Chalard Jean <jchalard@google.com> 1616061561 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1616061561 +0000

Merge "Fix a bug where any() returns null"