[Dune] Flyspray task #99 - PanTypeIndexSet redundant

[dune at hal.iwr.uni-heidelberg.de]

THIS IS AN AUTOMATICALLY GENERATED MESSAGE, DO NOT REPLY
------------------------------------------------------------------------

Notice from Dune 

A new Flyspray task has been opened in this category - "Grid"
You are receiving this because you are listed as the category owner.

Task summary: PanTypeIndexSet redundant 

You can find more information about this bug at the Flyspray page:
http://hal.iwr.uni-heidelberg.de/flyspray/index.php?do=details&id=99