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

gavofyork merged 1 commit intomasterfrom

Nov 5, 2019

Provide feedback