Recommended command after make merge fails on zsh #1476

Closed as not planned

Assignees

Labels

opened

on Nov 25, 2020

zsh: unknow group

Metadata

Assignees

JulienPalard

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests