Skip to content

Conversation

@tomasaschan
Copy link
Contributor

When I rebased #47 I put this first, so you can have a say in whether it's a good or bad idea, @timholy. But since this functionality is essentially extrapolation, I think this name is better :)

This change might have been better suited for its own PR, but I stumbled
over it now and had to change some related things anyway (indexing into
it, see next commit in #47).

@timholy, please protest if you have any objections.
@tomasaschan
Copy link
Contributor Author

I don't know why the build won't start (I thing Travis might have been down or something just when I pushed this) but this will be merged with #47 anyway, so I don't think it's a big deal.

@tomasaschan tomasaschan merged commit b0c6164 into master Sep 21, 2015
@tomasaschan tomasaschan deleted the rename-filled branch September 21, 2015 12:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants