<div dir="auto"><div>Thanks a lot. Looks good to me!<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, May 31, 2022, 2:03 PM Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks for the info about Iran in the late 1970s. I installed the <br>
attached proposed patch.</blockquote></div></div></div>