2015-04-12 Carl Hetherington <cth@carlh.net>
+ * Hand-apply 69866d9ba972d21375081c313ac245535ac55be9 from master;
+ handle removed ratio if it occurs in old files.
+
* Hand-apply c0e0b90d987af2586323d4a67bd67330256da51d from master;
remove 1.37 ratio and set Academy to 1.375.
Ratio const *
Ratio::from_id (string i)
{
+ /* We removed the ratio with id 137; replace it with 138 */
+ if (i == "137") {
+ i = "138";
+ }
+
vector<Ratio const *>::iterator j = _ratios.begin ();
while (j != _ratios.end() && (*j)->id() != i) {
++j;