Skip to content

Merge remote pull requests #2

New issue
New issue
Closed
Closed
Merge remote pull requests#2
@xchwarze

Description

@xchwarze
xchwarze
opened on Jul 21, 2022

Merged with git fetch <remote-git-url> <branch> && git cherry-pick FETCH_HEAD

leecade#1270
leecade#1301
leecade#1303
leecade#1304
leecade#1314

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions