Skip to content

[Bug] 74080 Add a new datetime constant for RFC7231 #2450

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
wants to merge 2 commits into from
Closed

[Bug] 74080 Add a new datetime constant for RFC7231 #2450

wants to merge 2 commits into from

Conversation

duncan3dc
Copy link
Member

Requested in bug 74080

@duncan3dc duncan3dc changed the base branch from master to PHP-7.0 April 1, 2017 17:38
@nikic nikic closed this Apr 1, 2017
@nikic nikic reopened this Apr 1, 2017
@krakjoe
Copy link
Member

krakjoe commented Apr 3, 2017

@nikic was that close an accident ?

@derickr can I ask for your eyes on this please ?

(I'm not sure what went wrong with AV there ...)

@krakjoe krakjoe added the Feature label Apr 3, 2017
@nikic
Copy link
Member

nikic commented Apr 3, 2017

@krakjoe close+reopen = new build. The base branch change broke something on Travis/AV.

@krakjoe
Copy link
Member

krakjoe commented Apr 17, 2017

Merged 618d979

Thanks.

@krakjoe krakjoe closed this Apr 17, 2017
@carusogabriel carusogabriel mentioned this pull request Feb 16, 2020
Closed
@jorgsowa jorgsowa mentioned this pull request Dec 20, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@duncan3dc @krakjoe @nikic