Bestoa opened this issue 8 years ago · 1 comments
You can safely remove the dev-debian branch now.
BTW, the script is not 755 but 644.
Thanks for your suggestion.