chiark / gitweb /
DEFAULT-ALIEN-FNAME will now remove '-p' suffix from symbol names