v9.0.0878
b298fe6c · patch 9.0.0878: Coverity warns for dead code ·