20 Jun
                
                    2013
                
            
            
                20 Jun
                
                '13
                
            
            
            
        
    
                9:28 p.m.
            
        On Jun 20, 2013, at 2:16 PM, Diederik en Rezi <mail@...1689...> wrote:
No need to be philosophical about this, this is just a longstanding bug :-)
Curiously, it seems related to my struggle with stroke values and object sizes in one of the comments there. -- This space intentionally left blank.