diff --git a/extern/README.md b/extern/README.md new file mode 100644 index 00000000..942cf166 --- /dev/null +++ b/extern/README.md @@ -0,0 +1,3 @@ +# extern + +While we aim to push fixes upstream, we temporarily ship external libraries with local fixes. \ No newline at end of file