#1599: 157r - marginal header needs fixing in all 3 versions

opened by ps2270

image


thuchacz commented:

Fixed.