- Update DISTNAME/MASTER_SITE of samsung-gdi driver - Add workaround for the problem that ps2epsi doesn't work New file: files/patch-lib:ps2epsi.ps
State Changed From-To: open->closed committed, thanks