Skip to content

Create issue on crash #15

Open
Open
Create issue on crash#15
Labels
Githubenhancement
@JamieHouston

Description

@JamieHouston
JamieHouston
opened on Jan 28, 2015

Either always, or ask - create github issue when Marvin crashes.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Githubenhancement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions