Merge branch 'stable' into pud
authorFerry Huberts <f.huberts@mindef.nl>
Thu, 18 Aug 2011 11:54:41 +0000 (13:54 +0200)
committerFerry Huberts <f.huberts@mindef.nl>
Thu, 18 Aug 2011 11:54:41 +0000 (13:54 +0200)
* stable:
  Linux: correctly set plugin library soname


Trivial merge