<div dir="ltr"><div><div>FYI, I have filed a bug report more than 3 hours ago but did not receive any confirmation.<br><br></div>Regarding the report itself if you ever receive it, which is about a potential infinite loop in list-box%, it is not as severe as I thought, as the `(clear)' call is actually not needed (because redundant).<br>

<br></div>Laurent<br></div>