Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix(MessageMentions): ignoreRepliedUser option in has() (v13) #8365

Merged
merged 1 commit into from Jul 29, 2022
Merged

fix(MessageMentions): ignoreRepliedUser option in has() (v13) #8365

merged 1 commit into from Jul 29, 2022

Conversation

almeidx
Copy link
Member

@almeidx almeidx commented Jul 25, 2022

Backports #8202

@vercel
Copy link

vercel bot commented Jul 25, 2022 •
edited

The latest updates on your projects. Learn more about Vercel for Git ↗︎

1 Ignored Deployment
Name Status Preview Updated
discord-js ⬜️ Ignored (Inspect) Jul 25, 2022 at 6:00PM (UTC)

@Jiralite Jiralite added this to the discord.js v13.10 milestone Jul 25, 2022
@iCrawl iCrawl merged commit d0a4199 into discordjs:v13 Jul 29, 2022
@almeidx almeidx deleted the message-mentions-v13 branch July 29, 2022 11:09
@RedGuy12 RedGuy12 mentioned this pull request Oct 4, 2022
Closed
@RedGuy12 RedGuy12 mentioned this pull request Oct 30, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@iCrawl iCrawl iCrawl approved these changes

@kyranet kyranet kyranet approved these changes

@SpaceEEC SpaceEEC SpaceEEC approved these changes

@vladfrangu vladfrangu Awaiting requested review from vladfrangu

Assignees
No one assigned
Labels
packages:discord.js semver:patch
Projects
discord.js
Archived in project
Milestone
discord.js v13.9.2
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@almeidx @iCrawl @kyranet @SpaceEEC @Jiralite