View Revisions: Note 47228

Summary 0015983: [PATCH] thirdparty/pgf: libpgf is packaged for debian and maintained