Skip to content

Small improvements to derived collections.#417

Merged
anaisbetts merged 2 commits into
masterfrom
derived-colls
Nov 28, 2013
Merged

Small improvements to derived collections.#417
anaisbetts merged 2 commits into
masterfrom
derived-colls

Conversation

@meteficha
Copy link
Copy Markdown
Contributor

No description provided.

@anaisbetts
Copy link
Copy Markdown
Member

Merged, thanks!

anaisbetts pushed a commit that referenced this pull request Nov 28, 2013
Small improvements to derived collections.
@anaisbetts anaisbetts merged commit 87f5cbc into master Nov 28, 2013
@anaisbetts anaisbetts deleted the derived-colls branch November 28, 2013 20:27
@lock lock Bot locked and limited conversation to collaborators Jun 27, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants