Skip to content
This repository has been archived by the owner on Apr 12, 2024. It is now read-only.

Modified not to be case sensitive Fixes #12073 #12074

Closed
wants to merge 4 commits into from
Closed

Modified not to be case sensitive Fixes #12073 #12074

wants to merge 4 commits into from

Conversation

BiohZn
Copy link
Contributor

@BiohZn BiohZn commented Jun 10, 2015

No description provided.

@googlebot
Copy link

Thanks for your pull request. It looks like this may be your first contribution to a Google open source project, in which case you'll need to sign a Contributor License Agreement (CLA).

📝 Please visit https://cla.developers.google.com/ to sign.

Once you've signed, please reply here (e.g. I signed it!) and we'll verify. Thanks.


  • If you've already signed a CLA, it's possible we don't have your GitHub username or you're using a different email address. Check your existing CLA data and verify that your email is set on your git commits.
  • If you signed the CLA as a corporation, please let us know the company's name.

@BiohZn
Copy link
Contributor Author

BiohZn commented Jun 10, 2015

I signed it!

@googlebot
Copy link

CLAs look good, thanks!

@googlebot
Copy link

We found a Contributor License Agreement for you (the sender of this pull request), but were unable to find agreements for the commit author(s). If you authored these, maybe you used a different email address in the git commits than was used to sign the CLA (login here to double check)? If these were authored by someone else, then they will need to sign a CLA as well, and confirm that they're okay with these being contributed to Google.

@googlebot
Copy link

CLAs look good, thanks!

@petebacondarwin
Copy link
Member

Closes #12073

@petebacondarwin
Copy link
Member

LGTM. Squashing and merging. Thanks @BiohZn

@petebacondarwin
Copy link
Member

Landed as 8dc09e6

petebacondarwin pushed a commit that referenced this pull request Jun 11, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants