Re: [cmake-developers] [CMake 0012347]: Interface bug

2011-07-16 Thread Michael Wild
Five times the same useless report, each reported by a different user-id?! Michael On 07/16/2011 06:29 AM, Mantis Bug Tracker wrote: The following issue has been SUBMITTED. == http://www.cmake.org/Bug/view.php?id=12347

Re: [cmake-developers] [CMake 0012347]: Interface bug

2011-07-16 Thread David Cole
Sounds like a spam-bot or something here... Very strange. On Sat, Jul 16, 2011 at 6:20 AM, Michael Wild them...@gmail.com wrote: Five times the same useless report, each reported by a different user-id?! Michael On 07/16/2011 06:29 AM, Mantis Bug Tracker wrote: The following issue has been