Skip to content

Re-add build script with note this time #92

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

Merged
merged 2 commits into from
Jul 21, 2020
Merged

Re-add build script with note this time #92

merged 2 commits into from
Jul 21, 2020

Conversation

adamgreig
Copy link
Member

This replaces #91.

@rust-highfive
Copy link

r? @jonas-schievink

(rust_highfive has picked a reviewer for you, use r? to override)

therealprof
therealprof previously approved these changes Jul 21, 2020
Copy link
Contributor

@therealprof therealprof left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

bors r+

@bors
Copy link
Contributor

bors bot commented Jul 21, 2020

Configuration problem:
bors.toml: not found

Co-authored-by: Jonas Schievink <[email protected]>
@therealprof
Copy link
Contributor

I just noticed the very same. lol

@therealprof therealprof merged commit ae6ad14 into master Jul 21, 2020
@therealprof therealprof deleted the readd-build branch July 21, 2020 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants