make miscchecks

This commit is contained in:
Philippe Teuwen 2021-06-04 22:08:32 +02:00
commit bf8cd5c00b