diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-07 15:23:11 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-07 15:23:11 +0200 |
commit | ab53797fbd5ecb3c076cc7bdfdbb284840abc15f (patch) | |
tree | 7a126783c762f5a9ce75da584acc9b8af5262c07 /scripts/mumi.in | |
parent | a682f136d641cdfb66bbb960eb36248bd239b68f (diff) |
messages: recent-bugs: Remove useless string-append.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions