On 16/08/2016 07:57, Florian Rivoal wrote: > if others insists we drop it (back?) from must to should, I guess I can begrudgingly agree... i don't think i would. I thought i recently read that a decision was taken to keep keep assertions, but i can't remember where. Maybe PLH knows? the optional in the documentation dates, i think, from the beginning, and therefore substantially predates any recent discussions. I wouldn't take it prima facie as evidence that a decision was taken to make assertions optional. riReceived on Tuesday, 16 August 2016 16:47:29 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:09:04 UTC