From 2bc5b8d1ecfca7b912c2334f79d6f1baaab53cf1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 3 Feb 2022 09:23:45 -0800 Subject: [PATCH] chore: remove `doc/changes.md` In the last dev meeting, we have decided we are not going to use it. We will release often (every month), and use pull requests and issues to report changes. --- doc/changes.md | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 doc/changes.md diff --git a/doc/changes.md b/doc/changes.md deleted file mode 100644 index 53a6ac3fb3..0000000000 --- a/doc/changes.md +++ /dev/null @@ -1,2 +0,0 @@ -v4.0.0-m4 ----------