voc: fix skipping of unknown headers (fixes #6437)
(cherry picked from commit ea068351d3991a1b330eb67fb13ddbb90943e659)
Showing
Please register or sign in to comment
(cherry picked from commit ea068351d3991a1b330eb67fb13ddbb90943e659)