Skip to content

Conversation

mitaa
Copy link
Contributor

@mitaa mitaa commented Dec 15, 2015

None of my devices/browsers renders this correctly.

r? @steveklabnik

@nagisa
Copy link
Member

nagisa commented Dec 15, 2015

I do not think lack of fonts on anybody’s device is a justification good enough for removing/not-using features.

On the other hand, emoji really do not belong in formal technical documentation.

@retep998
Copy link
Contributor

Considering this emoji is part of unicode 8 which was released only recently, that means a significant amount of devices don't support it. Even Firefox on Windows 10 doesn't support it. Having glyphs in the documentation which most devices are incapable of rendering is a poor idea.

@steveklabnik
Copy link
Contributor

I guess since this is a newer one, as @retep998 says, we can take it out. For now.

@bors: r+ rollup

@nagisa
Copy link
Member

nagisa commented Dec 29, 2015

Seems like @bors missed the r+, ping @steveklabnik

@steveklabnik
Copy link
Contributor

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 29, 2015

📌 Commit 6244314 has been approved by steveklabnik

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Dec 29, 2015
None of my devices/browsers renders this correctly.

r? @steveklabnik
bors added a commit that referenced this pull request Dec 29, 2015
@bors bors merged commit 6244314 into rust-lang:master Dec 30, 2015
@mitaa mitaa deleted the patch-1 branch December 30, 2015 01:51
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.

5 participants