Hi Lasse. >> Manuel, >> can you please fix this in github? > > What is the official Bigloo repo by the way - is it > <https://github.com/manuel-serrano/bigloo>?
Correct. > We could add that information > to <https://github.com/manuel-serrano/bigloo>. Yes, you could open a pull request.
