tree ccb88ee7f2e3b834c2036f18118d7b1085093f10
parent 7531b71fa14d3fc45653f3ac9df94bc95d688efe
author Benno Schulenberg <bensberg@justemail.net> 1481140588 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1481141141 +0100

tweaks: add a few translator hints