#8 Rename monitor_gating to monitor_gating_single_build
Merged by pingou. Opened by pingou.
rename_file  into  master

Download 8.patch

This is more consistent with the monitor_gating_multi_builds and more
self-explicit.

Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr

Pull-Request has been merged by pingou

Metadata