<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>