Gerhard Schlager 0947fa2bad Fix specs
Follow-up to 7e9da812eafa807f298312f64bc72b6c6bd7f822
2019-01-24 22:54:03 +01:00
..
2019-01-24 22:54:03 +01:00