Closed lukas-vlcek closed 1 year ago
Why is GitHub not closing this ticket automatically? According to their doc merge of #194 should close #193... anyway, closing manually.
Why is GitHub not closing this ticket automatically? According to their doc merge of #194 should close #193... anyway, closing manually.