<div dir="ltr">Hi all,<br><div>This pull request is now merged.</div><div><br></div><div>Atul</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jun 22, 2021 at 10:43 AM Atul Tulshibagwale <<a href="mailto:atultulshi@google.com">atultulshi@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi all,<div>Please review the updated RISC specification in this pull request:</div><div><br></div><div><a href="https://bitbucket.org/openid/risc/pull-requests/11/cred-compromise" target="_blank">https://bitbucket.org/openid/risc/pull-requests/11/cred-compromise</a></div><div><br></div><div>Thanks,</div><div>Atul</div><div><br clear="all"><div><div dir="ltr"><div dir="ltr"><br><div dir="ltr" style="margin-left:0pt" align="left"><table style="border:none;border-collapse:collapse"><colgroup><col width="142"><col width="186"></colgroup><tbody><tr style="height:104.25pt"><td style="vertical-align:top;overflow:hidden"><br><span style="border:none;display:inline-block;overflow:hidden;width:113px;height:113px"><img src="https://lh6.googleusercontent.com/fmoDQ26Qu6nUCxkO3-_idifYd4drGNvt7Ab_LQBqsdPH7EwOjHOqIJRzGXtqFHoor0bKiVZNFnj86FL59uqJJ1_-mSVOlfdsnlvDYTpq0wfcQFDXJr7miiOpLOie6c-pxXWWqpFqRg" width="113" height="113" style="margin-left: 0px; margin-top: 0px;"></span></td><td style="vertical-align:top;overflow:hidden"><p dir="ltr" style="line-height:1.9872;margin-top:0pt;margin-bottom:0pt"> </p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:"Google Sans",sans-serif;background-color:transparent;font-weight:700;vertical-align:baseline;white-space:pre-wrap">Atul Tulshibagwale</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:"Google Sans",sans-serif;background-color:transparent;vertical-align:baseline;white-space:pre-wrap">Software Engineer,</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:"Google Sans",sans-serif;background-color:transparent;vertical-align:baseline;white-space:pre-wrap">Google Workspace</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10pt;font-family:"Google Sans",sans-serif;background-color:transparent;vertical-align:baseline;white-space:pre-wrap"><a href="mailto:atultulshi@google.com" target="_blank">atultulshi@google.com</a></span></p></td></tr></tbody></table><br></div></div></div></div></div></div>
</blockquote></div>