
<!DOCTYPE html>

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body><div style="font-family: sans-serif;"><div class="markdown" style="white-space: normal;">

<p dir="auto">On 9 Apr 2022, at 22:44, Benny Kjær Nielsen wrote:</p>

</div><div class="plaintext" style="white-space: normal;"><blockquote style="margin: 0 0 5px; padding-left: 5px; border-left: 2px solid #777777; color: #777777;"><p dir="auto">In any case, I will likely replace `emate` soon with something that does not need `python` at all.</p>

</blockquote></div>

<div class="markdown" style="white-space: normal;">

<p dir="auto">This has been done in r5885. Users of <code style="margin: 0 0; padding: 0 0.25em; border-radius: 3px; background-color: #F7F7F7;">emate</code> can write me directly if I've broken any functionality in the process.</p>

<p dir="auto">--<br>

Benny</p>


</div></div></body>


</html>