What is the official Bigloo repo by the way - is it <https://github.com/manuel-serrano/bigloo>?Correct.
Is <https://github.com/manuel-serrano/bigloo/issues> also the main issue tracker used by Bigloo nowadays, or is there another tracker people should use?
We could add that information to <https://github.com/manuel-serrano/bigloo>.Yes, you could open a pull request.
Done: <https://github.com/manuel-serrano/bigloo/pull/30>
