#1 Drop unnecessary executable flag.

Merged
SlavekB merged 1 commits from drop/remove-exe-flag into master 7 months ago
There is no content yet.
MicheleC added this to the R14.0.6 release milestone 7 months ago
MicheleC commented 7 months ago
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 commented 7 months ago
Owner

Merged and pushed upstream.

Merged and pushed upstream.
SlavekB deleted branch drop/remove-exe-flag 7 months ago
MicheleC commented 7 months ago
Owner

thanks

thanks
The pull request has been merged.
Sign in to join this conversation.
Loading…
Cancel
Save
There is no content yet.