Drop unnecessary executable flag. #1
Zusammengeführt
SlavekB
hat 1 Commits von drop/remove-exe-flag
nach master
vor 6 Jahren zusammengeführt
Laden…
In neuem Issue referenzieren
Hier gibt es bis jetzt noch keinen Inhalt.
Branch „drop/remove-exe-flag“ löschen
Das Löschen eines Branches ist permanent. Es KANN NICHT rückgängig gemacht werden. Fortfahren?
Slavek, please push since I don't have permit for this repo.
Merged and pushed upstream.
thanks
5e6c5bc28c
gemergt.