3 ms·(Summer 2010 http://www.scala-lang.org/node/6619 http://www.scala-lang.org/node/6619by gtani 15y ago(Summer 2010 http://www.scala-lang.org/node/6619 http://www.scala-lang.org/node/6619Uchikoma 15y agoThanks, appreciated, missed that one.