Michael Niedermayer <michaelni <at> gmx.at> writes: > > diff --git a/tools/patcheck b/tools/patcheck > > index 4bb0236..521138a 100755 > > --- a/tools/patcheck > > ok Patch applied. Carl Eugen