1 files changed, 0 insertions, 10 deletions
diff --git a/rev.txt b/rev.txt
deleted file mode 100644
index d73edd8..0000000
--- a/rev.txt
+++ /dev/null
@@ -1,10 +0,0 @@
-Dear reviewers,
-
-please check my changes for issue #2711:
-
-  - improved documentation for custom decider function
-
-Regards,
-
-Dirk
-