Rainer Gerhards 05fb31bce1 correcting a slightly wrong code location
did have no effect, but could cause trouble with future plugin
interface changes.
2014-02-10 16:06:55 +01:00
..