You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: PROPOSALS.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -111,7 +111,7 @@ request feedback on feasibility before investing time and effort in the full pro
111
111
* Double check that the changelog and the commit messages are in order
112
112
* Raise an issue on GHC GitLab to help GHC team with tracking
113
113
* CLC or GHC team needs to assign the MR to Marge Bot
114
-
* After merging, CLC needs to remove the proposal label "awaits-merge" and add "base-4.XX" (coordinate wiht GHC devs which base would be the first to release the change)
114
+
* After merging, CLC needs to remove the proposal label "awaits-merge" and add "base-4.XX" (coordinate with GHC devs which base would be the first to release the change)
0 commit comments