Skip to content
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

docker: optimize custom sdk builds #12612

Merged
merged 1 commit into from
Mar 5, 2020

Conversation

Pestdoktor
Copy link
Contributor

download required branch only

@turt2live
Copy link
Member

@Pestdoktor can we get sign off on this please? Just need to leave a comment with the following:

Signed-off-by: Your Name <email@example.org>

@turt2live turt2live requested a review from a team March 4, 2020 22:34
@Pestdoktor
Copy link
Contributor Author

Signed-off-by: Jonas Fentker <jonas@fentker.eu>

I should stick a post-it to my screen so I don't forget :D

Copy link
Member

@turt2live turt2live left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks like it probably does the right thing. Thanks!

@turt2live turt2live merged commit 71f2f0e into element-hq:develop Mar 5, 2020
t3chguy pushed a commit that referenced this pull request Oct 17, 2024
Co-authored-by: David Baker <dbkr@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants