Skip to content

Remove outdated TODO comments#126

Merged
bors[bot] merged 2 commits intomasterfrom
todo
Oct 12, 2019
Merged

Remove outdated TODO comments#126
bors[bot] merged 2 commits intomasterfrom
todo

Conversation

@taiki-e
Copy link
Owner

@taiki-e taiki-e commented Oct 12, 2019

This issue has been fixed in #98.

@taiki-e
Copy link
Owner Author

taiki-e commented Oct 12, 2019

bors r+

bors bot added a commit that referenced this pull request Oct 12, 2019
126: Remove outdated TODO comments r=taiki-e a=taiki-e

This issue has been fixed in #98.

Co-authored-by: Taiki Endo <te316e89@gmail.com>
@bors
Copy link
Contributor

bors bot commented Oct 12, 2019

Build succeeded

  • style (clippy)
  • style (rustdoc)
  • style (rustfmt)
  • test (1.33.0)
  • test (beta)
  • test (macos)
  • test (nightly)
  • test (stable)

@bors bors bot merged commit 5c71b57 into master Oct 12, 2019
@bors bors bot deleted the todo branch October 12, 2019 06:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments