19 Feb
2014
19 Feb
'14
9:33 p.m.
--On Wednesday, February 19, 2014 01:30:49 PM -0700 Devin Reade gdr@gno.org wrote:
java version "1.7.0_40"
Disregard that. That is from a development machine that for other reasons is running that specific (non-default) version.
Devin