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)
commitbdf31fbdd57779c59b8d9d495a1d30e87968bfb9
treec7c5606b47719d98e62c2639668e1ff0682018e1
parent3929f2d6097ed264d42fac1db47077aaf77135dc
parent7d52799409fa48550dc203740eeb9247c9a93294
Merge branch 'stable' into pud

* stable:
  Linux: correctly set plugin library soname