Skip to content

Remove a regex-related script#31642

Merged
bors merged 1 commit intorust-lang:masterfrom
hanna-kruppe:rm-regex-script
Feb 14, 2016
Merged

Remove a regex-related script#31642
bors merged 1 commit intorust-lang:masterfrom
hanna-kruppe:rm-regex-script

Conversation

@hanna-kruppe
Copy link
Contributor

This file was probably forgotten when libregex moved out of tree. The rust-lang-nursery/regex repo has a nigh-identical file in its script/ folder.

This file was probably forgotten when libregex moved out of tree. The rust-lang-nursery/regex repo has a nigh-identical file in its script/ folder.
@rust-highfive
Copy link
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Member

@bors: r+ 14e8af4 rollup

@bors
Copy link
Collaborator

bors commented Feb 14, 2016

⌛ Testing commit 14e8af4 with merge 58eed92...

bors added a commit that referenced this pull request Feb 14, 2016
This file was probably forgotten when libregex moved out of tree. The rust-lang-nursery/regex repo has a nigh-identical file in its script/ folder.
@bors bors merged commit 14e8af4 into rust-lang:master Feb 14, 2016
bors added a commit that referenced this pull request Feb 15, 2016
bors added a commit that referenced this pull request Feb 15, 2016
@hanna-kruppe hanna-kruppe deleted the rm-regex-script branch February 2, 2026 22:15
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