Merge pull request #4338 from 2asoft/2asoft/fix-html-clipboard
authorakallabeth <akallabeth@users.noreply.github.com>
Mon, 8 Jan 2018 09:01:50 +0000 (10:01 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Jan 2018 09:01:50 +0000 (10:01 +0100)
Ensure HTML Format clipboard synthesizer always converts number strings as if they are in base 10


Trivial merge