<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#333333">
<p><font face="Arial">Sorry about the noise. Chris was <i>really</i>
fast and had already fixed it. Thanks!</font></p>
<p><font face="Arial"> · Eric</font><br>
</p>
On 9/7/19 22:24 , Eric F (iEFdev) wrote:<br>
<blockquote
cite="mid:40c07470-2261-3801-5dd3-26ba252a784e@iefdev.se"
type="cite">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<p><font face="Arial">Hi all,</font></p>
<p>Tried to open a PR on GitHub, but there's no option to do so.</p>
<p>Searched around a bit, and one place said that when adding a
new commen - it would come up an option to also reopen it. But,
it didn't.</p>
<p>Any ideas?</p>
<p> · Eric<br>
</p>
</blockquote>
<br>
</body>
</html>