connectbot/connectbot git-v1.9.13-272-g6cd5e8b8

git-v1.9.13-272-g6cd5e8b8: Remove custom terminal type management from Profile Editor

on GitHub

Untested build

What's Changed

• Migrate from legacy by @nindanaoto in #1807
• Fix term mode by @nindanaoto in #1805

Full Changelog: git-v1.9.13-265-g42763c62...git-v1.9.13-272-g6cd5e8b8