Skip to content
GitLab
Explore
Sign in
GNOME
gnome-text-editor
Merge requests
!73
The source project of this merge request has been removed.
Revert "Update build-mingw.sh"
Zachary
requested to merge
(removed):revert-5d427575
into
main
Aug 26, 2022
Overview
0
Pipelines
0
Changes
1
Expand
This reverts commit
5d427575
Merge request reports