Hi Jochen, someone else was faster. It was closed yesterday after it was reported by me. You can see the transitions in JIRA if you click on "all" or "activity" next to the comments header.
Thanks for looking into this as well! Ben On Sun, 15 Dec 2019, 16:44 Jochen Wiedmann, <[email protected]> wrote: > Hi, Ben, > > afaict, the issue *is* closed. > > Jochen > > On Sat, Dec 14, 2019 at 6:09 PM Benjamin Marwell <[email protected]> > wrote: > > > > Hi all, > > > > I think issue this can be closed: > > https://issues.apache.org/jira/browse/MCHECKSTYLE-373 > > The original author is just asking for how to specify a property via > > command line. > > > > Best regards, > > Ben > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [email protected] > > For additional commands, e-mail: [email protected] > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
