Re: Time to merge scratch/correct-warning-pos into master, perhaps?

[Gregory Heytings]

> if your system is noisy

It's on an unloaded build machine, with just one sshd and one bash 
process.

> you can increase `elb-runs' to an higher value, in the results an 
> estimation of the error anyway is given (probably more reliable with ~ 
> elb-runs >= 5?).

Thanks, I'll keep that in mind!

> That said yes, is a suite of micro benchmarks but it's better than 
> nothing.

Of course; my remark was certainly not meant to be derogatory.