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 /flexdll | |
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
Diffstat (limited to 'flexdll')
m--------- | flexdll | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/flexdll b/flexdll -Subproject 6b5da460f6b86eccbb72e31b591443bd8f471ea +Subproject ab8fbd41075d6fbbf74ce4c845cbea5a218b53f |