Skip to content

Conversation

julienschmidt
Copy link
Member

Follow-ups of #90 and #91

previously removed the wrong (effizient) branch
@arnehormann
Copy link
Member

LGTM

julienschmidt added a commit that referenced this pull request Jun 3, 2013
Buffer: better grow method + appending bug fix
@julienschmidt julienschmidt merged commit d3fd057 into master Jun 3, 2013
@julienschmidt julienschmidt deleted the buffer branch June 3, 2013 20:45
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.

2 participants