Trivial optimization #583

Job	Run time
omnibus compilations, trigger	4s
omnibus compilations, #2	29m 57s
omnibus compilations, #1	29m 18s
omnibus compilations, #4	25m 34s
omnibus compilations, #5	26m 11s
omnibus compilations, #8	26m 45s
omnibus compilations, #3	29m 46s
omnibus compilations, #9	26m 45s
omnibus compilations, #7	26m 30s
omnibus compilations, #10	26m 40s
omnibus compilations, #12	16m 56s
omnibus compilations, #11	25m 59s
omnibus compilations, #6	27m 4s
omnibus compilations, result	2s
	5h 17m 31s

Provide feedback