mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-01 10:39:43 +02:00
that was intended to avoid computing maxwidth more than necessary, but ended up causing the widespacing rule to not be checked in certain situations.