empty

rjbou · Dec 13, 2023 · 7f85795 · 7f85795
1 parent ddddd0e
commit 7f85795
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/client/opamClient.ml b/src/client/opamClient.ml
@@ -1777,3 +1777,4 @@ module PIN = struct
 
   let list = list
 end
+