Skip to content

[ci] case insensitive grep for AUTHORS file#1043

Closed
babbaj wants to merge 1 commit intognif:masterfrom
babbaj:fix-pr-check
Closed

[ci] case insensitive grep for AUTHORS file#1043
babbaj wants to merge 1 commit intognif:masterfrom
babbaj:fix-pr-check

Commits

Commits on Nov 9, 2022