diff --git a/notes b/notes new file mode 100644 index 00000000..55d610de --- /dev/null +++ b/notes @@ -0,0 +1 @@ +So this branch includes a previous commit from #427. We need to get that one merged first before merging this one.