Subject: Re: bug#30413: file exists and is +x but cannot be executed

From: Andreas Enge <[email-masked]>
Date: Thu, 15 Feb 2018 10:45:15 +0100

Close the bug as suggested by the submitter.

Andreas

PS: Just sending a message to [email-masked] does the job,
    and anybody can do it.