Skip to content

Remove duplicates#84

Merged
jayvdb merged 1 commit into
coala:masterfrom
siddhpant:remove-duplicates
Dec 5, 2018
Merged

Remove duplicates#84
jayvdb merged 1 commit into
coala:masterfrom
siddhpant:remove-duplicates

Conversation

@siddhpant
Copy link
Copy Markdown
Member

Addresses #83.

@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

@gitmate-bot rebase

@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

Hey! I'm GitMate.io! This pull request is being rebased automatically. Please DO NOT push while rebase is in progress or your changes would be lost permanently ⚠️

@jayvdb jayvdb force-pushed the remove-duplicates branch from 7378b0a to 1b8c360 Compare December 5, 2018 15:48
@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

Automated rebase with GitMate.io was successful! 🎉

@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

ack 1b8c360

@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

@gitmate-bot ff

@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

Hey! I'm GitMate.io! This pull request is being fastforwarded automatically. Please DO NOT push while fastforward is in progress or your changes would be lost permanently ⚠️

@jayvdb jayvdb merged commit 1b8c360 into coala:master Dec 5, 2018
@jayvdb
Copy link
Copy Markdown
Member

jayvdb commented Dec 5, 2018

Automated fastforward with GitMate.io was successful! 🎉

@siddhpant siddhpant deleted the remove-duplicates branch December 5, 2018 16:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants