[Engine-devel] Minor change in the per patch process.