I applied the change to r-minimal and discarded the other one.

-- 
Ricardo



Reply via email to