Skip to content

Merge branch 'master' into patch-1

9e21c1f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Turn off git's message about default branch name in deploydocs.jl #2854

Merge branch 'master' into patch-1
9e21c1f
Select commit
Loading
Failed to load commit list.