From 0f73581c32bcadd810f8d24ad4057ff24c9d2138 Mon Sep 17 00:00:00 2001
From: GitHub Actions Bot <>
Date: Mon, 14 Oct 2024 11:09:50 +0000
Subject: [PATCH] References for
 'https://github.com/BlueBrain/nmodl/pull/1515'.