Merge pull request #187 from divVerent/patch-1 graphitemaster/master master
authorDale Weiler <graphitemaster@users.noreply.github.com>
Mon, 4 Feb 2019 14:20:23 +0000 (09:20 -0500)
committerGitHub <noreply@github.com>
Mon, 4 Feb 2019 14:20:23 +0000 (09:20 -0500)
Fix printing of floating poing values in -dumpfin.


Trivial merge