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

Character ≡ missing #170

Closed
MovGP0 opened this issue Nov 4, 2019 · 1 comment
Closed

Character ≡ missing #170

MovGP0 opened this issue Nov 4, 2019 · 1 comment
Labels
Issue-Feature Resolution-Duplicate There's another issue on the tracker that's pretty much the same thing.

Comments

@MovGP0
Copy link

MovGP0 commented Nov 4, 2019

Description of the new feature/enhancement (with images if possible)

The character ≡ (≡ Hex 0x2261) is missing.

This character is used ie. in POSH-GIT to indicate that the current Git branch is identical to the remote branch, and therefore used by many developers.

Proposed technical implementation details (optional)

Implement the character in the font.
@MovGP0 MovGP0 changed the title Character ≡ missing for POSH-GIT Character ≡ missing Nov 4, 2019
@DHowett-MSFT
Copy link

This is a duplicate of #117.

@DHowett-MSFT DHowett-MSFT added the Resolution-Duplicate There's another issue on the tracker that's pretty much the same thing. label Nov 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Issue-Feature Resolution-Duplicate There's another issue on the tracker that's pretty much the same thing.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@MovGP0 @DHowett-MSFT