Closed jogomu closed 5 years ago
ci wants virtual dtor
Closing this due to still-broken CI.
I may resurrect this patch when solving the issue and fix it up a bit, in this case, I will ping here and give proper credit :) Thanks.
ci wants virtual dtor