8 Dec
2014
8 Dec
'14
5:35 p.m.
For ConfigurationOfRoelTyper it is safe to use #stable.
The configurationOfOrderPreservingDictionary had a broken baseline
with a numbered version in it. I removed the broken baseline and
changed the reference to it. It is now safe to use stable
Stephan