Merge pull request #678 from whentze/master
authorClifford Wolf <clifford@clifford.at>
Thu, 25 Oct 2018 11:23:26 +0000 (13:23 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Oct 2018 11:23:26 +0000 (13:23 +0200)
commitdb676957a0c3032ff44e3195d770948c1c3660af
treeda093aacf042a5c1bf42b6057b840df886d06121
parent5ab58d49308a670178a404e6e11bd8758f33c16d
parent9ed77f5ba853a316cf88221fa142e188f84765f0
Merge pull request #678 from whentze/master

Fix unhandled std::out_of_range in run_frontend() due to integer underflow