| commit | 8727815581b0267c993bf932c74165b80afcb472 | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Mon Aug 15 11:36:51 2016 +0100 |
| committer | Ed Willink <ed@willink.me.uk> | Mon Aug 15 13:41:54 2016 +0100 |
| tree | 07251df1d62fecc0fed092d85f23fa1a6da88799 | |
| parent | cbb3d6063fda75f83a5d62606b72d884d31985df [diff] |
[498400] Eliminate GUARD wrt HEAD/STEP node role distinction