From 85e8e9997b40019e85c3c6ef4f9cedb5b3047417 Mon Sep 17 00:00:00 2001
From: GitHub Actions Bot <>
Date: Mon, 2 Sep 2024 06:51:02 +0000
Subject: [PATCH] References for
 'https://github.com/BlueBrain/nmodl/pull/1418'.