From 4d290ae0c0ce0599780236af05b79a7ccaa255b0 Mon Sep 17 00:00:00 2001
From: Christoph Burgdorf <christoph.burgdorf@gmail.com>
Date: Thu, 26 May 2022 14:09:22 +0200
Subject: [PATCH] Ignore old snippet in release notes

---
 docs/validate_doc_examples.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/validate_doc_examples.py b/docs/validate_doc_examples.py
index ccde6d3ad4..c872327053 100755
--- a/docs/validate_doc_examples.py
+++ b/docs/validate_doc_examples.py
@@ -21,6 +21,7 @@
 SKIP_LIST = [
     'release_notes.md_0.fe',
     'release_notes.md_6.fe',
+    'release_notes.md_7.fe',
     'sequence_types_in_memory.md_0.fe',
     'to_mem_function.md_0.fe',
     'visibility_and_privacy.md_0.fe',