<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 20 January 2016 at 09:38, Hans Hagen <span dir="ltr"><<a href="mailto:pragma@wxs.nl" target="_blank">pragma@wxs.nl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 1/19/2016 4:58 PM, David Carlisle wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
But since none of this is in the manual at all, I'm having to guess....<br>
</blockquote>
<br></span>
next release:<br>
<br>
- no message any more<br>
- any integer accepted<br>
- backend will limit (silently) to 3--6 range<br>
<br>
so you can then use a value of 3<div class="HOEnZb"><div class="h5"><br>
<br>
Hans</div></div></blockquote></div><br><br></div><div class="gmail_extra">Thanks!<br><br></div><div class="gmail_extra">David<br><br></div></div>