Happy New Year to everyone! Thanks, Ricardo, for your explanation on the different git clones.
I have a question on where should I report the bugs.I understood that the mailing list was the proper place to report them, but this requires that mainly Matthias picks it and fixes it.
Is there no bug reporting service, such as the one in github, so that bug reports don't get lost in the list?
Thanks for your help, Pablo -- http://www.ousia.tk
