From dc8f95d60812a10cb7feae64082f0a75cc2f43fc Mon Sep 17 00:00:00 2001
From: Sergey Zubkov <cubbi@cubbi.com>
Date: Thu, 7 Apr 2022 16:54:17 -0400
Subject: [PATCH] F.46: add note regarding the return of main (see #1896)

---
 CppCoreGuidelines.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index 571319d..5d2104d 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -3749,6 +3749,7 @@ Declaring `main` (the one global `main` of a program) `void` limits portability.
 ##### Note
 
 We mention this only because of the persistence of this error in the community.
+Note that despite its non-void return type, the main function does not require an explicit return statement.
 
 ##### Enforcement