Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
two bufix: mutexes, and strictness management #10
base: master
Are you sure you want to change the base?
two bufix: mutexes, and strictness management #10
Changes from all commits
a244434
6a689d6
2dbe58a
a1f3b31
9915798
653ec28
9485878
dee180d
19050d6
3e5ea59
03fb7c6
fb909c7
e2936a0
337bf63
a19cb2f
7ab9a90
6593a1f
4611571
a3ab390
5e25541
e9cfcec
5a0008d
6e44c3f
70b3d60
4c2d92a
260f415
655e07b
5834d73
e218a15
39b5288
bb71a1f
294da24
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing