Re: Fwd: [GitHub] jena pull request #321: Just doing some syntax cleanup by using the new Grap...

Go ahead. The build isn't until next week (as/when I can find the time) and there are whole bunch of PRs. For things like this, either it gets in ... or it doesn't. To the users, it does not make much of a difference. We have tests ... Andy On 29/11/17 17:56, ajs6f wrote: Andy--

Fwd: [GitHub] jena pull request #321: Just doing some syntax cleanup by using the new Grap...

Andy-- this is so trivial I would have just committed it, but I didn't want to bump into anything you might be doing to prep for a release. ajs6f > Begin forwarded message: > > From: ajs6f > Subject: [GitHub] jena pull request #321: Just doing some syntax cleanup by >