Skip to content
This repository has been archived by the owner on Sep 6, 2018. It is now read-only.

append vs commit comment changed #140

Merged
merged 1 commit into from
Dec 18, 2013
Merged

append vs commit comment changed #140

merged 1 commit into from
Dec 18, 2013

Conversation

Scooletz
Copy link
Contributor

A minor comment change, meaningful from the algorithm point of view: distinguishing appending and committing.

benbjohnson added a commit that referenced this pull request Dec 18, 2013
@benbjohnson benbjohnson merged commit faee071 into goraft:master Dec 18, 2013
@benbjohnson
Copy link
Contributor

Thanks @Scooletz! 👍

@Scooletz Scooletz deleted the AppendVsCommitComment branch December 19, 2013 08:04
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.

None yet

2 participants