[Dune] [#276] adapt return value wrong

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#276 - adapt return value wrong
User who did this - Oliver Sander (sander)

----------
The status is unchanged.  Would it be acceptable to go back to the old behavior (i.e. return true if at least one element has beem marked) for non-conforming refinement?
----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=276#comment2216

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.