Skip to content
This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Revert "Header-only sync for old forks" #4022

Merged
merged 1 commit into from
Nov 5, 2019

Revert "Header-only sync for old forks (#3942)"

c20bd15
Select commit
Loading
Failed to load commit list.
Merged

Revert "Header-only sync for old forks" #4022

Revert "Header-only sync for old forks (#3942)"
c20bd15
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs