|
| From: | Werner LEMBERG |
| Subject: | Re: Metafont optional parameters |
| Date: | Mon, 01 Jun 2020 23:13:46 +0200 (CEST) |
> Han-Wen, I decided to go for your first solution, which is now
> committed.
... but not pushed yet, it seems.
> Werner, in case you were wondering what I had previously: [...]
I saw that, thanks.
Werner
| [Prev in Thread] | Current Thread | [Next in Thread] |