Make a hole smaller or bigger

 From:  christian (CHRI) 2 Nov 2019  (10 of 15) 
9554.10 In reply to 9554.9 
Works fine

Many many Thanks to r2d3 and PILOU

EDITED: 2 Nov 2019 by CHRI