Skip to content

Conversation

@Tarrasch
Copy link
Contributor

As was discussed in #756

As was discussed in #756
@Tarrasch
Copy link
Contributor Author

Ah, I caught myseflt in that the commit message sucks here. Though since it's a solely red commit I guess people won't find this commit in their blame history anyway.s

@gpoulin
Copy link
Contributor

gpoulin commented Feb 18, 2015

@Tarrasch I thought you would "subtly" include it with #746.

@Tarrasch
Copy link
Contributor Author

I guess you mean #756. Nah, that's more work I think. The online editor is much easier to use than to append commits through CLI. :)

Tarrasch added a commit that referenced this pull request Feb 18, 2015
@Tarrasch Tarrasch merged commit 9215d54 into master Feb 18, 2015
@Tarrasch Tarrasch deleted the Tarrasch-patch-2 branch February 18, 2015 13:00
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.

3 participants