Commit 877cde765a9957f893d7b22026a8c82bf82226d4

Carlos Martín Nieto 2013-11-02T01:10:21

remote: let's at least pretend to have some memory safety Copy the pointers into temporary vectors instead of assigning them tot he same array so we don't mess up with someone else's memory by accident (e.g. by sorting).