History SOURCES/0004-warn-on-equality-inequality-with-different-types.patch