Manolis Ragkousis writes: > Hey Marius, > > I don't know if you have seen the updated version of the patch so I am > pinging you :) > > If you don't have any objections to the updated version, I will push it > to master. Please add a #t at the end of the pre-check phase since (substitute*...) has an unspecified return value. The rest LGTM, thanks!