Commit e351acc2b27d8e37b56cc815d967de5db0d8aa8f

Authored by Antonio Terceiro
1 parent 86d03e5f

add executable bit to obs/checkout

obs/checkout 100644 → 100755