Le 30/07/2013 23:26, Gary Gregory a écrit : > And another thing: internally, the header should be a Set<String>, not a > String[]. I plan on fixing that later too.
Why should it be a set? Is there an impact on the performance? Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
