update README
authorErez Zadok <ezk@cs.sunysb.edu>
Sun, 8 May 2022 01:22:22 +0000 (21:22 -0400)
committerErez Zadok <ezk@cs.sunysb.edu>
Sun, 8 May 2022 01:22:22 +0000 (21:22 -0400)
bug-fixes/README [new file with mode: 0644]

diff --git a/bug-fixes/README b/bug-fixes/README
new file mode 100644 (file)
index 0000000..5a01dbb
--- /dev/null
@@ -0,0 +1,7 @@
+You can apply a clean patch using
+
+$ cd wrapfs-VERS
+$ patch -p1 < PATCH-FILE # e.g, andrew-bugfix.patch
+$ make # ensure it builds, test if needed
+$ git commit -a -F LOG-FILE # e.g., andrew-bugfix.log
+# test, then git push