From 10cf2192139f5e29270ccbfff83af37b9b1dabb0 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 4 Jun 2021 14:12:59 +0200 Subject: [PATCH] doc: clarify RFC issues --- doc/faq.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/faq.md b/doc/faq.md index c005653093..56447321ec 100644 --- a/doc/faq.md +++ b/doc/faq.md @@ -56,4 +56,4 @@ We expect similar independent checkers will be built for Lean 4. We use [GitHub](https://github.com/leanprover/lean4/issues) to track bugs and new features. Bug reports are always welcome, but nitpicking issues are not (e.g., the error message is confusing). -RFC issues are created by developers only. +See also our [contribution guidelines](../CONTRIBUTING.md).