diff options
author | Tom Gundersen <teg@jklm.no> | 2015-11-27 00:42:56 +0100 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2015-11-27 00:42:56 +0100 |
commit | 8a7a7e971e97830fd722fb73ef87f7180180cc27 (patch) | |
tree | 9ac1760894c256185bb5a1899bac69f38b39237c /tools | |
parent | c283267467db7a7fde9d15042b907884118e8fea (diff) | |
parent | 039a8725fdff1d71e9efd28f27741601c5b4235c (diff) |
Merge pull request #2041 from poettering/resolved-various-2
various smaller fixes, plus one that makes the build succeed again
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions