Update fs2-core, fs2-io, ... to 2.5.11 #2021
Merged
Mergify / Rule: delete head branch after merge (delete_head_branch)
succeeded
Dec 5, 2023 in 0s
Branch `update/fs2-core-2.5.11` has been deleted
Loading