Skip to content

Replace 'prelude' with 'uses_git_transport'#423

Merged
dinosaure merged 3 commits into
mirage:masterfrom
ulugbekna:replace-prelude
Dec 9, 2020
Merged

Replace 'prelude' with 'uses_git_transport'#423
dinosaure merged 3 commits into
mirage:masterfrom
ulugbekna:replace-prelude

Commits

Commits on Dec 9, 2020