[PATCH] Add tool patches warning

[Sebastian Huber]

Update #2949.
---
 tools/WARNING | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 tools/WARNING

diff --git a/tools/WARNING b/tools/WARNING
new file mode 100644
index 0000000..cf60060
--- /dev/null
+++ b/tools/WARNING
@@ -0,0 +1,2 @@
+This directory and all its content is READ ONLY.  Do not add new content.
+Ticket attachements should be used for new patches.
-- 
2.12.3