mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +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.