Summary of changes: b3e2cfe... Removed redundant gs-executable patch (bug #502550). (*) 5a5e484... Change SEARCH_HERE_FIRST default to make -P- default (bug # (*) 6526222... Merge branch 'f12' into f13 (*) This commit already existed in another branch; no separate mail sent