This reverts commit ff92de766b
.
Revert that and remove ASSERT_POD. Let's see which bots are
unhappy with this configuration...
pull/1043/head
parent
7b50bf52f2
commit
a7dd90f519
4 changed files with 8 additions and 6 deletions
Loading…
Reference in new issue