tree c0ef7d7c8a68175f44ae691c2374382029cca08e
parent c03b6a3e9cab9fc05b2d5b256676f5ddc6c2d763
author Martin Pietryka <martin@pietryka.at> 1574486303 +0100
committer Martin Pietryka <martin@pietryka.at> 1574486500 +0100

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

This was causing a segmentation fault because there is no accompanying
log_push() call so header_count.size() became -1.

Signed-off-by: Martin Pietryka <martin@pietryka.at>