Fix the circle CI failures - #11915

Merged

thewilsonator merged 1 commit into

dlang:masterfrom

thewilsonator:circle

Oct 30, 2020

Commits on Oct 30, 2020

Fix circle CI issues by properly deinitialising the frontend
thewilsonator
committed
2ccf2c9