tree 71a44fe858ff6dd5bf15e29549d3803afdaa5479
parent b45043c44030337c1f7006f8c3d19fdfffe541f6
author Werner Lemberg <wl@gnu.org> 1502610018 +0200
committer Werner Lemberg <wl@gnu.org> 1502610048 +0200

Minor.