-
Mathieu Giraud authored
When using different indexes, this is only a cosmetic change. But it prepares ourselves to use an unique index, possibly with a better indexing structure.
efcd623a
When using different indexes, this is only a cosmetic change. But it prepares ourselves to use an unique index, possibly with a better indexing structure.