> However, there seems to be no option on the RT GUI to run the GNATT
> extension.

Just to be sure: did you clean the Mason cache and your browser's cache, too?

Reply via email to