<!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 27 Jan 2022, at 1:29, Sebastian Hagedorn wrote:</p>
</div><div class="plaintext" style="white-space: normal;"><blockquote style="margin: 0 0 5px 5px; padding-left: 5px; border-left: 2px solid #777; color: #777;"><p dir="auto">Revision 5861 (Thursday, January 20, 2022)</p>
</blockquote></div>
<div class="markdown" style="white-space: normal;">
<p dir="auto">Thanks for this info, it should be a welcome change. Do you know when rev 5861 will be released?</p>
<p dir="auto">When I run <em>Check for Update</em> it says, “5852 is the latest version available. You have version 5853.”</p>
<p dir="auto">Regards,<br>
Quinn</p>
</div></div></body>
</html>