projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 79d5c51 68d0421)
Merge "Ensure timely termination of all flask servers"
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Mar 2019 06:25:30 +0000 (07:25 +0100)
committerGerrit Code Review <root@osm.etsi.org>
Tue, 19 Mar 2019 06:25:30 +0000 (07:25 +0100)

Trivial merge