diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-06-17 18:11:22 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-06-17 18:11:22 +0200 |
commit | b10930198adfdeaea38009c62af206c02c4a274b (patch) | |
tree | 51b619f1fa3887771b8abee34c8106147f729f3d /2017-08-19-hardened-sources-removal | |
parent | Remove more obsolete news (diff) | |
download | gentoo-news-b10930198adfdeaea38009c62af206c02c4a274b.tar.gz gentoo-news-b10930198adfdeaea38009c62af206c02c4a274b.tar.bz2 gentoo-news-b10930198adfdeaea38009c62af206c02c4a274b.zip |
17.1 profiles: use --deep for */lib32 rebuild
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to '2017-08-19-hardened-sources-removal')
0 files changed, 0 insertions, 0 deletions