tree ce5bb8314e9c7aabc7a08fa5ef83bd54bcf0a79a
parent 1492d7a8e35b51c5699b52047eb4b17c5baa7e28
author Søren Gjesse <sgjesse@google.com> 1680094342 +0200
committer Søren Gjesse <sgjesse@google.com> 1680094826 +0000

Fix diagnostics matcher for kotlin-old bot

Change-Id: I0c194ee6c8f9e7218cb2f0b89c51f87e319617ca