Thu, 19 Jan 2012 16:23:15 -0600 Use the logging API by default.
Chris Jones <christian.jones@sri.com> [Thu, 19 Jan 2012 16:23:15 -0600] rev 77
Use the logging API by default.
(0) -30 -10 -1 +1 +10 +30 +100 tip