[ros-diffs] [akhaldi] 72040: [0.4.2] * Merge Sylvain's machine.inf update in r72036.