[Dune] Bug reports

[Christian Engwer]

Dear fellow dune developers ;-)

I just went through the list of bugs listed in flyspray. It seems to
me that some of the developers fix bugs but don't close the bugs. At
least there were some commits leading to the implression several of
the bugs might be fixed already.

I really beg you to
1) close bugs after you fixed them.
2) add comments to the bug reports if you are working on a bug,
   especially if you commit partial bug fixed.

It is essential that we keep an eye on the bug reports, otherwise
flysprays benefit tends to zero.

Please take your time to look through the reports and check wether you
closed one of these bugs. If you have any questions regarding theuse
of flyspray feel free to ask me and/or the list, same applies if you
forgot you flyspray password.

Cheers Christian