1. 2019-08-06 Re: [Gimp-user] Eraser Problem gimp-user dep 2. 2019-08-06 [Gimp-user] Eraser Problem gimp-user peter