chore: fix build by conflict introduced with parallel PRs#2992

Merged

rix0rrr merged 4 commits intomasterfrom huijbers/fix-build-instancetype

Jun 21, 2019

+90-90

Commits on Jun 21, 2019

chore: fix build by conflict introduced with parallel PRs
Rico Huijbers
committed
Add missing banner
Rico Huijbers
committed
Update all READMEs with new stability banner
Rico Huijbers
committed
Oops add stability banner back
Rico Huijbers
committed