project.optimization directive in monkey.jungle is ignored when set in compiler options to anything but default: Status History

Below is the history of changes to this idea's status. Return to the idea.