Fix #75996: Add the right urls to the header of mt_rand. #3142

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

Closed

tatarbj wants to merge 1 commit into php:PHP-7.1 from tatarbj:75996

Contributor

tatarbj commented Feb 22, 2018

No description provided.


          Fix #75996: Add the right urls to the header of mt_rand.

8278fc1

Member

krakjoe commented Mar 27, 2018

Merged ac4d9fd

Thanks.

krakjoe closed this

krakjoe added the Bug label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Bug