Achim's branch is now merged in Org's git master branch. Please test this and report any problem while using make to install Org.
-- Bastien
Achim's branch is now merged in Org's git master branch. Please test this and report any problem while using make to install Org.
-- Bastien