Reinhold Straub <[email protected]> writes: > Hi, > > pdfgrep is hosted on a different server now.
Committed, thanks. For the record the diff didn't apply (whitespace change; copy/paste?) and lacked a REVISION bump (since HOMEPAGE changed). -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
