On Mon, 24 Jul 2017 at 14:04:03 +0200, Mattia Rizzolo wrote: > I've merged your changes and added a tag to the git repository; please > feel free to reschedule it to delayed/0. Thanks, done (assuming I got my dcut syntax right). S