tree b020a92128227f2cb290ec38e4d72c086a879edd
parent 5a4d721020b86cee97f404e3bd2e2b76a5839010
parent ae6f81e4cd9b21798ec4fbd4d74d9bcfde85ae32
author Paul Faria <paulfaria@google.com> 1696458519 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1696458519 +0000

Merge "[alacritty_terminal] Allow bad mask lint for bitflags" into main