> serious (but rare) bug was fixed in the history reader. previous fix was incomplete. please update to git commit https://bitbucket.org/tmidas/midas/commits/b343c3c98e4e6fd00a00cf686c74c7ccc6da0c63 K.O.