Fix typo ("ISNERT") #31

Merged
merged 3 commits into from Jan 11, 2017

Projects

None yet

3 participants

@pcharlan
Contributor
pcharlan commented Jan 1, 2017

Typo in documentation.

Fixes #30

@shlomi-noach

thank you!

@shlomi-noach
Collaborator

thank you!

@shlomi-noach shlomi-noach merged commit 189f386 into github:master Jan 11, 2017
@pcharlan pcharlan deleted the pcharlan:typo-fix-pseudo-gtid branch Jan 11, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment