This paragraph should be:

> The same reason explains why I think `up'/`down' are worse names:
> because `up'/`down' (in longruns) and `up'/`down' (in oneshots
> currently) seem much less correlated than `run'/`finish' (in longruns)
> and `up'/`down' (in oneshots currently).

(I must be really having a bad day today :()

On Sun, Sep 20, 2015 at 03:15:52PM +0800, Casper Ti. Vector wrote:
> The same reason explains why I think `up'/`down' are worse names:
> because `run'/`finish' (in longruns) and `up'/`down' (in longruns) seem
> much less correlated than `up'/`down' (in longruns) and `up'/`down' (in
> oneshots currently).

-- 
My current OpenPGP key:
4096R/0xE18262B5D9BF213A (expires: 2017.1.1)
D69C 1828 2BF2 755D C383 D7B2 E182 62B5 D9BF 213A

Reply via email to