[Barrelfish-users] [Barrelfish] Barrelfish repository

[Simon Peter]

> FWIW, here is a patch which works with GHC 7.0.x and greater.

Thanks a lot! I will apply this to the development tree and it will go 
in the next release.

We are working on making a public source repository available real soon 
now. This will streamline the process of incorporating contributions to 
the project. Stay tuned!

  -- Simon