[Termtools] BenchExec at last!

[Dieter Hofbauer]

On Mon, 2020-06-29 at 20:36 +0900, Yamada, Akihisa wrote:
> GitHub and I are unable to work right now. Let me postpone the
> deadline for the registration pull-request for 24 hours.

Dear Akihisa,

in this case I'd indeed like to update the config id for MnM. Could you
therefore please wait for another 6 hours, say? Anybody objecting?

Best
Dieter

--

Dieter Hofbauer
dieter_hofbauer at web.de
Mühlengasse 16, D-34125 Kassel, Germany
phone (+49) 561 739 29 54