Drop unnecessary executable flag. #1

Merged
SlavekB merged 1 commits from drop/remove-exe-flag into master 6 years ago
Owner
There is no content yet.
MicheleC added this to the R14.0.6 release milestone 6 years ago
Poster
Owner

Slavek, please push since I don't have permit for this repo.

Slavek, please push since I don't have permit for this repo.
SlavekB closed this pull request 6 years ago
Owner

Merged and pushed upstream.

Merged and pushed upstream.
SlavekB deleted branch drop/remove-exe-flag 6 years ago
Poster
Owner

thanks

thanks
The pull request has been merged as 5e6c5bc28c.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: TDE/experimental#1
Loading…
There is no content yet.