GitHub user afs opened a pull request: https://github.com/apache/jena/pull/392
Add comments to NodeLib.workspace (from PR#391), reformat, remove dead code. You can merge this pull request into a Git repository by running: $ git pull https://github.com/afs/jena nodelib_comments Alternatively you can review and apply these changes as the patch at: https://github.com/apache/jena/pull/392.patch To close this pull request, make a commit to your master/trunk branch with (at least) the following in the commit message: This closes #392 ---- commit 97b7b28208dc64faaeb9595b0e7f636ba263f333 Author: Andy Seaborne <andy@...> Date: 2018-04-05T16:50:17Z Add comments to NodeLib (from PR#391), reformat, remove dead code. ---- ---