21 Apr
2014
21 Apr
'14
4:28 p.m.
as per daniel's suggestion, i added $T_branch(flags) pv. should $T_branch_idx and $T_reply_ruid be now renamed to $T_branch(idx) and $T_branch(ruid)?
-- juha