[arch-dev-public] Pushing mono to the next level

[Daniel Isenmann]

Hi,

long time no update from my side, but now I return with the push of mono
to the release 3.0.7. Also monodevelop get the latest version to 4.0.8.

I have tested the most mono-related packages (the most which I use on my
computer) and I haven't found any errors. If you found any bugs, please
report them to the bugtracker.

I will update the next mono-related packages the next days to update the
whole mono framework in our repo.

 -Daniel