Close the bug as suggested by the submitter. Andreas
PS: Just sending a message to bugnumber-d...@debbugs.gnu.org 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
