Sorry about the noise. Chris was /really/ fast and had already fixed it. Thanks!
· Eric On 9/7/19 22:24 , Eric F (iEFdev) wrote: > > Hi all, > > Tried to open a PR on GitHub, but there's no option to do so. > > 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. > > Any ideas? > > · Eric >
