Subject: control message for bug #42156

From: Ludovic Courtès <[email-masked]>
Date: Mon, 03 Aug 2020 16:30:04 +0200

retitle 42156 '--with-input', '--with-git-url' etc. cause unnecessary rebuilds
quit