Skip to content

Commit

Permalink
Merge commit '9979c07' into master (PR #2224)
Browse files Browse the repository at this point in the history 
A follow up merge to preserve history.
  • Loading branch information
@jvesely
jvesely committed Jan 3, 2022
2 parents 5efe4d9 + 9979c07 commit 4165193
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 4165193

Please sign in to comment.