https://bz.apache.org/bugzilla/show_bug.cgi?id=58530
--- Comment #10 from Chuck Caldarale <[email protected]> --- (In reply to Ognjen Blagojevic from comment #9) > Should new theme replace the old one, or should it be just one additional > skin for the manager GUI, so user may decide whether to use the old GUI or > the new one? Replace - maintaining both is too much work. -- You are receiving this mail because: You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
