From 5888cfb54d5a28de0a8588079c7eece810c0630f Mon Sep 17 00:00:00 2001
From: GitHub Actions Bot <>
Date: Tue, 18 Jun 2024 11:40:29 +0000
Subject: [PATCH] References for
 'https://github.com/BlueBrain/nmodl/pull/1327'.