Wladimir J. van der Laan 354b03dee1

Merge #7604: build: Remove spurious dollar sign. Fixes #7189. ...

3d19193 Remove spurious dollar sign. Fixes #7189. (Chris Moore)

2016-02-29 09:40:40 +01:00

..

m4

Merge #7604: build: Remove spurious dollar sign. Fixes #7189.

2016-02-29 09:40:40 +01:00