documented release procedure

diff --git a/dev/readme b/dev/readme
new file mode 100644 (file)
index 0000000..b24adc3
--- /dev/null
+++ b/dev/readme
@@ -0,0 +1,7 @@
+Release procedure:
+* Update network version
+* Tag+sign last commit
+* Upload Windows build
+* Make forum post
+* Update first post with links
+* Send email to mailing list if necessary