tree 67d597a3f52859228dc8f7a12c17a53861481974
parent dd000762d6bd631a4a1a36d23dc5d0e2574e676d
author Davide Pesavento <davidepesa@gmail.com> 1579839024 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1579839024 -0500

logic: remove some leftover code

Change-Id: I6e98ac216ce49f078e59c55efd856ce8e03d0b71