Hi,
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.
Regards
Evan
Magma bug reports
Re: Magma bug reports
You can post it here, or email one of the developers directly. No, we don't yet have a bug tracking database.
-mark
-mark
Re: Magma bug reports
Thanks I will do so.