* Fix new devel sanity errors. (#3194) (cherry picked from commit 1fec1d0c81) * Add two more. * Fix PR #. Co-authored-by: Felix Fontein <felix@fontein.de>
1fec1d0c81