From 99c6942d83b73fbb741f4806da83b2fb03e9daee Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <silvan.mosberger@tweag.io>
Date: Thu, 3 Aug 2023 00:13:58 +0200
Subject: [PATCH] CONTRIBUTING.md: Coding conventions -> code conventions

It's not conventions about how to do coding, it's about what the code
should look like
---
 CONTRIBUTING.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b5d5a158b4b6..314e174cf5d2 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -373,7 +373,8 @@ However, many changes are able to be backported, including:
 - Services which require a client to be up-to-date regardless. (E.g. `spotify`, `steam`, or `discord`)
 - Security critical applications (E.g. `firefox`)
 
-## Coding conventions {#chap-conventions}
+
+## Code conventions
 
 ### File naming and organisation {#sec-organisation}