Skip to content

callspec2 incorrectly stores marks as mapping destroying duplicate marks #2672

New issue
New issue
Closed
Closed
callspec2 incorrectly stores marks as mapping destroying duplicate marks#2672
Labels
topic: marksrelated to marks, either the general marks or builtin
@RonnyPfannschmidt

Description

@RonnyPfannschmidt
RonnyPfannschmidt
opened on Aug 9, 2017

instead of keeping it we should just switch it to a list of marks

Metadata

Metadata

Assignees

No one assigned

    Labels

    topic: marksrelated to marks, either the general marks or builtin

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions