Merge pull request #1520 from pietrmar/fix-1463
authorEddie Hung <eddie@fpgeh.com>
Sat, 23 Nov 2019 06:45:40 +0000 (22:45 -0800)
committerGitHub <noreply@github.com>
Sat, 23 Nov 2019 06:45:40 +0000 (22:45 -0800)
commitdb2268703f657fb977e1aa5506748683fbeb6cb1
treec0ef7d7c8a68175f44ae691c2374382029cca08e
parentc03b6a3e9cab9fc05b2d5b256676f5ddc6c2d763
parent97b22413e533a7fca7a3542dd802321097bdc55c
Merge pull request #1520 from pietrmar/fix-1463

coolrunner2: remove spurious log_pop() call, fixes #1463