<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>Hi all,<br><br>with r3077 I've removed the remove-short-arcs option in the high-prec-coord branch.<br><br>Gerd<br> </div></body>
</html>