Branch: Tag:

2020-03-12

2020-03-12 23:55:37 by Stephen R. van den Berg <srb@cuci.nl>

Document ADT.OrderedMapping bugfix.

189:       Header names in "extra_heads" will not have their case modified.    + o ADT.OrderedMapping    -  +  Adding duplicate keys now replaces the existing keys. +    Incompatible changes   --------------------