Close the bug as suggested by the submitter. Andreas
PS: Just sending a message to [email protected] does the job, and anybody can do it.
- bug#30413: file exists and is +x but cannot be executed Marco van Hulten
- bug#30413: file exists and is +x but cannot be execu... Ludovic Courtès
- bug#30413: file exists and is +x but cannot be e... Marco van Hulten
- bug#30413: file exists and is +x but cannot ... Andreas Enge
