Skip to content

Commit

Permalink
Merge PR #13401: [ci] pin user developments
Browse files Browse the repository at this point in the history 
Ack-by: Zimmi48
  • Loading branch information
@gares
gares committed Nov 18, 2020
2 parents d570b09 + 702da63 commit 7b2f311
Showing 1 changed file with 58 additions and 58 deletions.

0 comments on commit 7b2f311

Please sign in to comment.