commit | 873b618c2f3dbb8c054f9eab7cd3c6c15cbf049c | [log] [tgz] |
---|---|---|
author | Javier Jardón <jjardon@gnome.org> | Mon Dec 10 09:49:52 2018 +0000 |
committer | Javier Jardón <jjardon@gnome.org> | Mon Dec 10 09:49:52 2018 +0000 |
tree | a850822b8abf3c4db4a66cf6c11b276fb1d52eb6 | |
parent | 2a0676c3bf607a95a41bd802839eaf677588bf79 [diff] | |
parent | ae0afce57940faeb3b19c61104418a14ca64897a [diff] |
Merge branch 'jjardon/strip-binaries-removal' into 'master' Remove default strip-commands Closes #645 See merge request BuildStream/buildstream!987