tree e2f7312ee09e198abb509e51bd26a49981c156e0
parent ba9214c689b425a4fec07552db9cb5db597af0ab
author Benno Schulenberg <bensberg@justemail.net> 1466775543 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1466866356 +0200

tweaks: elide an unneeded variable