[Dune] Notification from Dune

[Flyspray]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#219 - Inconsistent interface of methods mark() and getMark()
User who did this: - Robert Klöfkorn (robertk)

----------
I will fix this by implementing a new method getMark taking an
EntityPointer.
The old method will be available and marked deprecated. 

----------

More information can be found at the following URL:
http://hal.iwr.uni-heidelberg.de/flyspray/?do=details&id=219#comment217

You are receiving this message because you have requested it from the
Flyspray bugtracking system.  You can be removed from future
notifications by visiting the URL shown above.