Code

Fix some name-mangling edge cases#52

Code

Merged

JelleZijlstra merged 1 commit intoJelleZijlstra:mainJelleZijlstra/stubdefaulter:mainfrom AlexWaygood:more-name-manglingAlexWaygood/stubdefaulter:more-name-manglingCopy head branch name to clipboardFeb 2, 2023

+14-1

Commits

Commits on Feb 2, 2023

• Fix some name-mangling edge cases

  AlexWaygood

  committed
  701a3e3

  Copy full SHA for 701a3e3