Hi, I just wanted to file a pull request for what Keith fixed at the same time in https://github.com/mobile-shell/mosh/commit/ca2750dd036c133953839d59a30197983dee668a
During that I noticed that the Debian packaging seems uptodate in the master branch, but outdated in the "debian-package" branch. Is the "debian-package" branch no more used? If so, maybe it should be removed or renamed? Kind regards, Axel -- /~\ Plain Text Ribbon Campaign | Axel Beckert \ / Say No to HTML in E-Mail and News | a...@deuxchevaux.org (Mail) X See http://www.nonhtmlmail.org/campaign.html | a...@noone.org (Mail+Jabber) / \ I love long mails: http://email.is-not-s.ms/ | http://abe.noone.org/ (Web) _______________________________________________ mosh-devel mailing list mosh-devel@mit.edu http://mailman.mit.edu/mailman/listinfo/mosh-devel