Juha Heinanen writes:
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)?
i haven;t heard anything about this. can i just go head with renaming?
-- juha
