Merge pull request #1520 from pietrmar/fix-1463 coolrunner2: remove spurious log_pop() call, fixes #1463