Skip to content
This repository has been archived by the owner on Jan 8, 2020. It is now read-only.

Improve type hints #6948

Closed
wants to merge 1 commit into from
Closed

Conversation

JeroenDeDauw
Copy link
Contributor

No description provided.

@Ocramius Ocramius self-assigned this Nov 29, 2014
@Ocramius Ocramius added this to the 2.3.4 milestone Nov 29, 2014
@Ocramius Ocramius closed this in d1a9e65 Nov 29, 2014
Ocramius added a commit that referenced this pull request Nov 29, 2014
@Ocramius
Copy link
Member

@JeroenDeDauw thanks, merged!

master: d1a9e65
develop: 2c0d8b5

@JeroenDeDauw
Copy link
Contributor Author

Did I submit this incorrectly?

@Ocramius
Copy link
Member

@JeroenDeDauw no, everything correct: I just need to forward-port into develop ( = next release) every time

@JeroenDeDauw
Copy link
Contributor Author

Is it not better if I submit a PR against that branch then?

@Ocramius
Copy link
Member

Ocramius commented Dec 2, 2014

@JeroenDeDauw no, it's actually standard workflow for this project.

gianarb pushed a commit to zendframework/zend-stdlib that referenced this pull request May 15, 2015
gianarb pushed a commit to zendframework/zend-stdlib that referenced this pull request May 15, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants