diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2022-10-07 13:54:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-07 14:54:12 +0200 |
| commit | 2f3edc801b82fdfeac81fba957c5ae8a86afa7d4 (patch) | |
| tree | 46b293f0d263aec7fb24ce07a5fd0a4f286f5c23 | |
| parent | 14e835373372777aa1d69e7dee537bb859aecf7e (diff) | |
| download | ocaml-2f3edc801b82fdfeac81fba957c5ae8a86afa7d4.tar.gz | |
Update FlexDLL submodule URL and switch to 0.42 (#11608)
* Switch submodule location to ocaml/flexdll
GitHub redirects alainfrisch/flexdll to ocaml/flexdll already.
* Switch flexdll submodule to 0.42
| -rw-r--r-- | .gitmodules | 2 | ||||
| m--------- | flexdll | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index dca1e0d28f..67c9558a16 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "flexdll"] path = flexdll - url = https://github.com/alainfrisch/flexdll.git + url = https://github.com/ocaml/flexdll.git diff --git a/flexdll b/flexdll -Subproject 6b5da460f6b86eccbb72e31b591443bd8f471ea +Subproject ab8fbd41075d6fbbf74ce4c845cbea5a218b53f |