
<html>

<head>

<meta http-equiv="content-type" content="text/html; charset=UTF-8">

</head>

<body><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">On Monday, February 1, 2021 2:42:43 AM WET Thibaut Cuvelier wrote:</p>

<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> More generally, what about the other patches? Are formatting changes</p>

<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">> considered risky? What about Joel's suggestions?</p>

<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">My issue is not about the formatting changes, I can live with them even if in some cases I think that it is a matter of taste.</p>

<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">The example about documentation strings is striking, why do I need triple quotes if the documentation string will only span a single line?</p>

<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">My main doubt, that I still did not get any feedback, comes from the regular expression changes. Those are in no way formatting changes...</p>

<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">And even if the current code is faulty, i.e. it works by accident, the proposed changes are wrong.</p>

<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">-- </p>

<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">José Abílio</p>

</body>

</html>