<p>Greetings,</p>
<p>This message has been automatically generated in response to the
creation of a trouble ticket regarding <b>ISA RFC Request - Formal Proposal - by Luke Kenneth Casson Leighton (Libre-SOC)</b>,
a summary of which appears below.</p>
<p>There is no need to reply to this message right now. Your ticket has been
assigned an ID of <b>[[OPF][ISA] #200567]</b>.</p>
<p>Please include the string <b>[[OPF][ISA] #200567]</b>
in the subject line of all future correspondence about this issue. To do so,
you may reply to this message.</p>
<p>Thank you,<br/>
isa@openpower.foundation</p>
<hr/>
<pre style="white-space: pre-wrap; font-family: monospace;">feedback to be provided publicly at
https://bugs.libre-soc.org/show_bug.cgi?id=1091
</pre>