Don't add a file to revtree if we didn't add it to tree

Created by  pmeunier  on March 1, 2021
IVFOZZFZQLXBRXPKKR4YHCNZGNVIPG67NJICAGISDU6CMOHTQHBAC
Change contents