Skip to content

list.v: avoid using mangled names

Ralf Jung requested to merge ralf/mangle into master

This is needed to fix list.v compilation with name mangling enabled. I stopped after this file.

Merge request reports