On Sun, 17 May 2020 16:54:03 -0500 "Matthew D. Fuller" <[email protected]> wrote:
> Welcome to the party :) Thanks :) > > For now, I forked the github repo and pushed my change there: > > With a little experimentation to figure out where the problem comes > from, and why this fixes it, it looks right to me. I'll go ahead and > get it in, thanks! > Cool! > There are vague scribblings in the direction of a developer's manual Thanks, I'll check them out! -- Carl Svensson
