tree dc8397fdc966a81fc779e9a133d8ab94b0485547
parent 0f55ba765148be9d2b6091f040222719ae65bf06
parent c130eab56f50cd30e642b9c7e286d5c0de7aad7f
author Chris Poucet <poucet@google.com> 1678266942 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1678266942 +0000

Merge "Make sure to define the custom-element for codemirror-element"