Chris Moore 1c3d38bde7 Remove spurious dollar sign. Fixes #7189. ... Github-Pull: #7189 Rebased-From: 3d19193f14b9400f7c908a61375c330113571a38		2016-04-27 22:34:48 +02:00
..
m4	Remove spurious dollar sign. Fixes #7189.	2016-04-27 22:34:48 +02:00