I just have a quick question. If we come across a bug in MAGMA, what is the best way to report it?
Is it still, as was the case in the past, best to email one of the developers with a description and a possible fix, or is there a more formal issue tracker?
Thanks for the great work!
Keep it up.