diff options
author | Ludovic Courtès <[email protected]> | 2014-07-12 22:16:34 +0200 |
---|---|---|
committer | Ludovic Courtès <[email protected]> | 2014-07-12 23:17:53 +0200 |
commit | f111b327a960b7cdfe77557dc06b5706a72e38dd (patch) | |
tree | ddef56862e254d8c4b9d20868cb72fa9efb83c65 /build-aux/gitlog-to-changelog | |
parent | 5d0984595c77b1b0acd84eb4684f786de5f95aff (diff) |
system: Remove erroneous system binding in profile maker.
Partly fixes <http://bugs.gnu.org/18002>.
Reported by David Thompson <[email protected]>.
* gnu/system.scm (union): Remove #:system parameter, which was unused.
Diffstat (limited to 'build-aux/gitlog-to-changelog')
0 files changed, 0 insertions, 0 deletions