Closed marmeladema closed 4 years ago
@inikulin would it be possible to merge this PR with a merge commit? I'd like to avoid rewriting the history of that branch if possible.
@marmeladema I'll reply in a private chat
@inikulin would it be possible to merge this PR with a merge commit? I'd like to avoid rewriting the history of that branch if possible.