From: Manuel Carrasco MoƱino Date: Mon, 8 Dec 2014 13:12:00 +0000 (+0100) Subject: Merge pull request #316 from manolo/master X-Git-Tag: gwtquery-project-1.4.3~15 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=09516bca8bb56a7393ad6cc4aa776ee275d298e1;p=gwtquery.git Merge pull request #316 from manolo/master Replace arraylist by hashset in filter, which should improve performance --- 09516bca8bb56a7393ad6cc4aa776ee275d298e1