| commit | ed6e78f1df4d1c02682f015ff53b4a6cf575ca03 | [log] [tgz] |
|---|---|---|
| author | robm <none@none> | Thu Oct 20 17:50:47 2016 +0100 |
| committer | robm <none@none> | Thu Oct 20 17:50:47 2016 +0100 |
| tree | cc366a7d08e74ab5f30ec42076bb3bfe998e6241 | |
| parent | a859de9c3345174fdd42b16731ef1abf765d4fec [diff] |
8158997: JNDI Protocols Switch Reviewed-by: vinnie