Herve proposes that we simplify substitution; as opposed to the suggestion to remove it (#250). What would be the effect of having the substituted header being dropped? Equivalent to a header that doesn't modify the table?Received on Monday, 7 October 2013 20:50:27 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 2 February 2023 18:43:38 UTC