Re: [pdf-devel] Some suggestions...

[gerel]

I don't see any problem with the current development tools (despite that I don't
use flyspray because I'm lazy, god bless jemarch). :-)

-gerel