Merge pull request #4 from ada2k/patch-1

Update dune-project
robur-coop · Jul 28, 2024 · d4092f1 · d4092f1
2 parents e46d522 + 7840cf5
commit d4092f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
 (lang dune 2.0)
 
-(name httpaf)
+(name h1)