Skip to content

Conversation

@ReneNyffenegger
Copy link
Contributor

Improvement for pull request 10766 as suggested by theoni: the archiver flags cr are not hardcoded, but can be specified with ./configure.

@jnewbery
Copy link
Contributor

I don't think you need a new PR for this. Just force push your new commit to #10766 (it helps to keep all the history/discussion in one PR).

@promag
Copy link
Contributor

promag commented Jul 10, 2017

No need to force push, rebase and push this commit there.

@ReneNyffenegger
Copy link
Contributor Author

Please excuse my ignorance... I tried rebase and force push - both of which didn't seem to do anything useful.

@theuni
Copy link
Member

theuni commented Jul 10, 2017

Closing in favor of #10766.

@theuni theuni closed this Jul 10, 2017
@jnewbery
Copy link
Contributor

Please excuse my ignorance

Nothing to excuse. Thanks for your contribution :)

@bitcoin bitcoin locked as resolved and limited conversation to collaborators Sep 8, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants