Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

mrluc
Copy link
Contributor

@mrluc mrluc commented Nov 22, 2021

http -> https cleanup similar to a recent unicode-security pr; a comment in that repo's unicode.py hinted that this repo had a similar script

if "emoji" in f:
os.system("curl -O https://www.unicode.org/Public/emoji/%s.%s/%s"
% (UNICODE_VERSION[0], UNICODE_VERSION[1], f))
else:
os.system("curl -O http://www.unicode.org/Public/%s/ucd/%s"
% (UNICODE_VERSION_NUMBER, f))

(apologies if these are noisy, I know they're not very substantive)

@Manishearth Manishearth merged commit 683ae04 into unicode-rs:master Nov 22, 2021
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.

2 participants