New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Small documentation changes for optional field options #86
Conversation
Thanks! I will fetch. I plan to amend the previous commit with your corrections, rather than add it as another correction. It means your name as committer will be lost, but I think the commit history looks better that way. Would that be ok with you? I'll mention in the commit message that you have contributed. (If not ok, I'll add your commit on top, no problems, no big deal either) |
That's no problem at all. I'm running a bunch of Riak tests today using |
Ok, cool! |
@tomas-abrahamsson did you not want to use these changes? |
Oh, yes, indeed, I do! Sorry for confusion. The following have happened: I merged and amended locally as per earlier discussion, thus my local branch, and the branch on github had diverged. At this point, I decided (perhaps erroneously, see below) that I'd scrap the branch on github, and I guess since this was now a PR for a non-existing branch, that github decided it meant that the PR was closed. Hm. It looks like I've hit some I realize now you might be using the branch, perhaps still, for testing |
4d6f032
to
ac61ac0
Compare
Pushed, and now I could reopen the issue again! The following has happened: I pushed this branch again to github, but once I've pushed a new release on master, I intend to close this PR (and delete the branch again) I've pushed another branch, The |
This is now included in 3.26.0 (closing) |
No description provided.