Skip to content

Fix #7679: Use markdown for quoting #7704

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
Merged
merged 2 commits into from
Dec 10, 2019
Merged

Fix #7679: Use markdown for quoting #7704

merged 2 commits into from
Dec 10, 2019

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Dec 9, 2019

No description provided.

@biboudis biboudis requested a review from liufengyun December 10, 2019 10:46
liufengyun
liufengyun approved these changes Dec 10, 2019
View reviewed changes
Copy link
Contributor

@liufengyun liufengyun left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@biboudis biboudis merged commit 8a6d948 into scala:master Dec 10, 2019
@biboudis biboudis deleted the fix-#7679 branch December 10, 2019 12:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@liufengyun liufengyun liufengyun approved these changes

@biboudis biboudis Awaiting requested review from biboudis

Assignees

@biboudis biboudis

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@odersky @liufengyun @biboudis