Skip to content
GitLab
Explore
Sign in
World
fractal
Merge requests
!1244
The source project of this merge request has been removed.
Cleanup after SDK and Ruma upgrade
Kévin Commaille
requested to merge
(removed):cleanup
into
main
Mar 15, 2023
Overview
0
Pipelines
0
Changes
5
Expand
Simplify our code thanks to new types/methods in the upstream libraries.
Merge request reports