Skip to content

Build: Rename jquery-1-7 to jquery-patch#1917

Merged
mgol merged 1 commit into
jquery:masterfrom
mgol:jquery-patch
May 16, 2020
Merged

Build: Rename jquery-1-7 to jquery-patch#1917
mgol merged 1 commit into
jquery:masterfrom
mgol:jquery-patch

Conversation

@mgol
Copy link
Copy Markdown
Member

@mgol mgol commented May 13, 2020

The file now contains many more than just jQuery 1.7 patches.

@mgol mgol requested review from arschmitz and fnagel May 13, 2020 07:57
@mgol mgol merged commit 7caf8f6 into jquery:master May 16, 2020
@mgol mgol deleted the jquery-patch branch May 16, 2020 06:29
@mgol mgol added this to the 1.13 milestone Jun 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

4 participants