Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
cryptol-remote-api: Restore the ability to build with vector-0.12.* (#…
…1506) The downstream `saw-remote-api` library doesn't quite support `vector-0.13.*` yet, but #1499 accidentally restricted `cryptol-remote-api`'s build plan to only allow `vector-0.13.*`. This restores the ability to build `cryptol-remote-api` with `vector-0.12.*` for `saw-remote-api`'s sake.
- Loading branch information