Remove unneeded executable bit #1

Merged
SlavekB merged 1 commits from drop/unneeded-exe-bits into master 3 years ago
MicheleC commented 3 years ago
Owner

Patch is ready. To be merged when more patches for admin or cmake modules are ready.

Patch is ready. To be merged when more patches for admin or cmake modules are ready.
MicheleC added this to the R14.0.6 release milestone 3 years ago
SlavekB closed this pull request 3 years ago
Owner

Merged and pushed upstream.

Merged and pushed upstream.
SlavekB deleted branch drop/unneeded-exe-bits 3 years ago
The pull request has been merged as 75306d2d1f.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.