[Dune] Notification from Dune

[Flyspray]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task is now closed:

FS#305 - Out off source build fails
User who did this: - Markus Blatt (mblatt)

Reason for closing: - Works for me
Additional comments about closing: - Must have been to late last
night.

I cannot reproduce the problem.

And obviously bin/wmlrap is created in the build dir of dune-common.

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

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.