summary | 
shortlog | 
log | 
commit | commitdiff | 
tree
raw | 
patch | 
inline | side by side (from parent 1: 
626b36b)
 
Thanks: Wookey
Closes: #809454
 
   ** SNAPSHOT build @03342304420e5daeb428ffdcc7bbd2bbfecfa61a **
 
 
   ** SNAPSHOT build @03342304420e5daeb428ffdcc7bbd2bbfecfa61a **
 
   * Imported Upstream version 2016.02.22
 
  -- Rogério Brito <rbrito@ime.usp.br>  Wed, 24 Feb 2016 17:24:18 -0300
   * Imported Upstream version 2016.02.22
 
  -- Rogério Brito <rbrito@ime.usp.br>  Wed, 24 Feb 2016 17:24:18 -0300