commit | 19344ec890e0c4343e3c20695806d482c631d67c | [log] [download] |
---|---|---|
author | Nicholas Marriott <nicholas.marriott@gmail.com> | Mon Sep 19 07:03:17 2022 +0100 |
committer | Nicholas Marriott <nicholas.marriott@gmail.com> | Mon Sep 19 07:03:17 2022 +0100 |
tree | 3ab0a15441ccc657f5d50a0bb834daa4366713cd | |
parent | 0a0ded32685edafe934b767e6df9d218e227eb95 [diff] |
Add headers and fix type, from Marvin Schmidt. GitHub issue 3332.