tree 8bf2f62fcba372322532b0d05db1592d8e209f91
parent 36e5429622688d02795c6deb31847c15cc5c58e1
author Davide Pesavento <davide.pesavento@lip6.fr> 1487357127 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1487357127 +0000

fw: in FaceTable::add(), move the shared_ptr instead of copying it

Change-Id: Iddbdc35452f9512a75850b7a9cd3734d4cf89326