Remove unneeded executable bit #1
Fusionado
SlavekB
fusionados 1 commits de drop/unneeded-exe-bits
en master
hace 6 años
Cargando…
Referencia en una nueva incidencia
Aún no existe contenido.
Eliminar la rama con el nombre 'drop/unneeded-exe-bits'
Eliminar una rama es permanente. NO PUEDE deshacerse. ¿Continuar?
Patch is ready. To be merged when more patches for admin or cmake modules are ready.
Merged and pushed upstream.
75306d2d1f
.