Nevermind, I'm blind. I made a comment about closing in a few weeks. You are right, there's no comparability, and maintaining two sets of styles will only end up being painful. So I say close it.
On Tue, Apr 3, 2012 at 11:12 AM, John Vines <[email protected]> wrote: > I'm not seeing anything in the ticket about closing it come January. I > think it's something that should be looked into still. > > John > > On Mon, Apr 2, 2012 at 10:43 PM, David Medinets <[email protected] > >wrote: > > > Back in Dec 2011, there was a comment that this ticket would be closed > > by Jan 2012. It seems like we won't use the checkstyle plugin. Can > > this ticket be closed? > > >
