<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <font size="+1"><tt>I have updated <br>
        <br>
           
<a class="moz-txt-link-freetext" href="https://github.com/openjdk/amber-docs/blob/master/site/design-notes/type-patterns-in-switch.md">https://github.com/openjdk/amber-docs/blob/master/site/design-notes/type-patterns-in-switch.md</a><br>
        <br>
        based on our discussions.<br>
      </tt></font>
  </body>
</html>