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
Merge master to dotty branch #446
Merge master to dotty branch #446
Changes from all commits
b6d49a6
5ea0427
dbb19aa
819b928
0506370
51243f6
9c750eb
598d05b
135e856
f00741c
098bc17
67d3d20
e003cbe
50bd397
589b76b
ae083b2
de20cc2
699fefc
a24fb7a
e9ebf49
0c958fd
42b81b3
db4a4f2
a20a3ef
1576bec
34aa1db
3c36ce3
445f630
07e77c4
e2e8bbe
22bdc37
38e4973
fd90018
ee37778
210658e
fcf2f58
a9345b7
d8c8853
a5368c7
449954f
94c888f
aa1c3a7
f14b118
ef0d2da
ca0ef5f
efa6019
333bd1d
e50f2b4
c4903a0
846ec21
26b59b1
bdd279b
ef5bd23
47633a9
a597d2e
7b8b3a8
4ec1e22
5d05071
649ff51
c5b9ea2
2204752
b787b3a
0156345
4a2f403
0db7d49
c61791e
890f6ca
140c3cd
70e0073
2a8377a
b870d75
8bf3ca1
d88292e
e14abe2
e4ce051
cb4f8c2
5fd152b
3145a00
60a3def
b9df85f
7d881b7
157e5a8
cb48f0a
ebda79b
107f197
bfe9840
3f3d1e1
8fc4dd6
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.