-
Notifications
You must be signed in to change notification settings - Fork 5.1k
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 v1.2.3 master #1538
Merge v1.2.3 master #1538
Conversation
@emilevauge AFAICS, the vendored files should not be touched. Please double-check they do not contain changes which should have gone into the non-vendored copy. git might have been confused ( |
0c56c6b
to
5244e62
Compare
@timoreimann Indeed, that's why there is still a |
Reading the Good to know for the next time. :-) |
I tried with 10, 30, 50 and 80 :) |
Aww, damn! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@emilevauge you have my commit in your branch...
5244e62
to
433efee
Compare
c43e8b7
to
db65281
Compare
Signed-off-by: Emile Vauge <[email protected]>
Signed-off-by: Emile Vauge <[email protected]>
Signed-off-by: Emile Vauge <[email protected]>
Signed-off-by: Emile Vauge <[email protected]>
Signed-off-by: Emile Vauge <[email protected]>
db65281
to
8ac281f
Compare
Description
This PR reports tag
v1.2.3
into master.Cherry picked:
40afd64
b3e6c7f
fa4d2d3
0ecfbb8
e21feae
37b44cc