zzz 5dc7497802 Reseed: Don't reseed while shutting down (ticket #1565)

2015-05-08 12:27:40 +00:00

..

doc

drop obsolete docs

2011-02-27 16:24:11 +00:00

java

Reseed: Don't reseed while shutting down (ticket #1565)

2015-05-08 12:27:40 +00:00