On 19-Oct-14, at 10:13 AM, Segher Boessenkool wrote:

You can set it to "Ignored" in pa.opt now?  And remove the mask?

Yes, will update.

Dave
--
John David Anglin       dave.ang...@bell.net



Reply via email to