Hi,<br><br><div class="gmail_quote">On Fri, Apr 3, 2009 at 10:34 PM, Jelmer Vernooij <span dir="ltr">&lt;<a href="mailto:jelmer@vernstok.nl">jelmer@vernstok.nl</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Can you suggest a better name? I agree the current name is not very<br>
clear, but I can&#39;t think of anything that covers what it does better<font color="#888888"></font></blockquote><div><br>What does the &quot;d&quot;, in &quot;dpush&quot; stand for?<br><br>Thanks,<br>Eugene Wee<br><br>
</div></div>