tree 95c35454a53edb8701b4889fbc335db324c6ca04
parent 7715cc42ea323adc3486220657080c07ca9a50db
parent 854538ad66c565580b1d851f8e09561821faff7d
author Patrick Hiesel <hiesel@google.com> 1575477575 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1575477575 +0000

Merge "PermissionBackend#filter: Use Collections instead of Maps"