libc-970710
9d3d290b · (\titlefont): Define again, using \titlefonts. ·