Skip to content
GitLab

list.v: avoid using mangled names

Merged 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