Re: Metafont optional parameters

[Owen Lamb]

>
> ... but not pushed yet, it seems.

Sorry about that! I thought I did... anyway, it's pushed now.

--Owen