<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">&gt; As I am completely new to CPython development, perhaps this problem has<br>&gt; already been discussed and/or fixed I may have done something
<br>&gt; incorrectly. Please let me know if that is the case.<br><br>I looked at it briefly. If I understand correctly, the proposed feature<br>is fine, but lacks a test case.<br></blockquote></div><br>I have now added a test case.
<br><br>Please let me know if anything else is needed.<br><br>Thanks,<br>Miguel<br>