diff --git a/IGNORE-KABI-BADNESS b/IGNORE-KABI-BADNESS new file mode 100644 index 0000000..4c0d52d --- /dev/null +++ b/IGNORE-KABI-BADNESS @@ -0,0 +1 @@ +