From fe9d5d68c3f2ff0678235645cd1ee1e9e5ca199d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 26 May 2017 14:43:01 -0700 Subject: [PATCH] chore(README): add "wish list" --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index df814a29fe..c76a1167dd 100644 --- a/README.md +++ b/README.md @@ -50,5 +50,6 @@ Roadmap - [Open RFC issues](https://github.com/leanprover/lean/issues?q=is%3Aissue+is%3Aopen+label%3ARFC) - [Features](https://github.com/leanprover/lean/issues?q=is%3Aissue+is%3Aopen+label%3AFeature) +- [Wish list](https://github.com/leanprover/lean/issues?q=is%3Aissue+is%3Aopen+label%3AI-wishlist) - [High priority issues](https://github.com/leanprover/lean/issues?q=is%3Aissue+is%3Aopen+label%3AP-high) - [Medium priority issues](https://github.com/leanprover/lean/issues?q=is%3Aissue+is%3Aopen+label%3AP-medium)