15 Jul
                
                    2010
                
            
            
                15 Jul
                
                '10
                
            
            
            
        
    
                9:13 p.m.
            
        On 07/16/10 - 04:56:43AM, Justin Clift wrote:
On 07/16/2010 04:48 AM, Dave Allan wrote: <snip>
I wouldn't object to aliasing pool-stop to pool-destroy, but I'm curious to know what others on the list think.
Full agreement from me. :)
I also think it is a good idea in general. -- Chris Lalancette