commit | 3358d2d579e8bb2ffafabec18b5f2b8f03964b7a | [log] [tgz] |
---|---|---|
author | Geertjan Wielenga <geertjan.wielenga@oracle.com> | Thu Jul 18 17:28:34 2019 +0200 |
committer | GitHub <noreply@github.com> | Thu Jul 18 17:28:34 2019 +0200 |
tree | b1672ea2caad5ac084b0bf6d8ecfa6ed869d8926 | |
parent | 03216083305b403bb7890a6fcb28c9b828a96996 [diff] | |
parent | e34d306f4d7fa1aa6fd72d2df374061c03dc5494 [diff] |
Merge pull request #392 from apache/geertjanw-patch-5 Tweaks and more info.