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
Only see sensible depths of the access tree #1264
Only see sensible depths of the access tree #1264
Changes from all commits
d4ba4b6
798b3c3
1d3ef0d
9839df3
5338be1
80bee5c
2b4b04b
545a0bc
03ba593
d6fdccd
d127930
9406e31
c6079ec
f21c824
34ba637
8fe631a
69bc235
8f35424
224f70a
1e7b17e
7ba5f87
fdd518e
691d0cb
4e5491b
7abeb1c
2482ea3
4419d89
a5f6210
344f119
8900c5a
e9aa57a
fdaccce
a7f32d8
1b99db9
75c8194
503749a
91c1a81
05ece07
b905b8e
8c53a24
7e9d5c3
06d055e
592fafb
850ced1
4160776
45b465e
073da3c
b8518c3
572f862
a83f833
25bfa8a
135757c
53f96f2
b1fad3f
b2ad570
688729d
398c0c5
80191aa
3ae4ea4
cb7432e
e6ffd9b
f388bfa
d72061e
bc7c7cf
a1e518b
5aa476c
ccfe127
4ac7060
ec74bfc
c82aa88
5dd89fb
a850629
a7212f8
7512692
b03a6c3
0f87863
0749d23
1c178c4
598e31a
57ed207
622b651
5d4a285
06f6849
45f620e
315a3d7
def2a09
730198e
982fba3
59ce9ed
6ea60a4
fd50227
7b34396
201b48b
be94c3a
5cfc0a0
0fd8d26
a3f9eda
8375e08
739fb8c
017e551
48a090b
a009653
8349963
0d35a98
aaa567e
3a5c764
4104f41
cde3340
efbfd71
b85c077
f571d0b
8993677
5014047
bc0dde2
1ff6e9b
5cac8b4
942fbcb
c1c3846
663be2c
fcc3ca7
b12ec79
5d4010e
9f294a3
5bbb361
2d447c1
75879e4
e075a59
0809b7b
d188b7a
b3db69e
2c522e7
10428cd
f22d5a3
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing