diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2021-04-22 22:21:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-22 22:21:33 +0200 |
commit | f21240a4c4e0fad25193dc0d409deee9715e0aae (patch) | |
tree | c762cb5634a84845b252d8cb9411b378c905ab8c | |
parent | 73fa5b763a53179444304ccbe0583b616403bb0a (diff) | |
parent | fcfe125c6fb30edea62a6492b2a87b40907e781c (diff) |
Merge pull request #478 from mglisse/hera
Update Hera, fix #477
m--------- | ext/hera | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ext/hera b/ext/hera -Subproject b73ed1face2c609958556e6f2b7704bbd8aaa26 +Subproject b528c4067a8aac346eb307d3c23b82d5953cfe2 |