[GitHub] [jena-site] afs merged pull request #120: Fuseki optimizer and logging documentation improvements

2022-11-12 Thread GitBox
afs merged PR #120: URL: https://github.com/apache/jena-site/pull/120 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@jena.apache.org F

[GitHub] [jena-site] afs commented on pull request #120: Fuseki optimizer and logging documentation improvements

2022-11-12 Thread GitBox
afs commented on PR #120: URL: https://github.com/apache/jena-site/pull/120#issuecomment-1312415087 Missed [the requested change](https://github.com/apache/jena-site/pull/120#issuecomment-1270001532) happening. @eroux - Thanks! -- This is an automated message from the Apache Git S