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