# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1717259242 21600
# Node ID 9a8862b87f6e45d13f9d384995aa5af89b69df07
# Parent  b61919d8a7014947543fa151bf750102788bafac
bump version

diff -r b61919d8a701 -r 9a8862b87f6e app/src/main/AndroidManifest.xml
--- a/app/src/main/AndroidManifest.xml	Sat Jun 01 10:12:40 2024 -0600
+++ b/app/src/main/AndroidManifest.xml	Sat Jun 01 10:27:22 2024 -0600
@@ -17,8 +17,8 @@
 -->
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="com.five_ten_sg.connectbot"
-    android:versionName="1.9.4-7"
-    android:versionCode="1947"
+    android:versionName="1.9.4-8"
+    android:versionCode="1948"
     android:installLocation="auto">
     <queries>
         <package android:name="com.five_ten_sg.connectbot.monitor" />
diff -r b61919d8a701 -r 9a8862b87f6e app/src/main/java/com/five_ten_sg/connectbot/transport/SSH.java
--- a/app/src/main/java/com/five_ten_sg/connectbot/transport/SSH.java	Sat Jun 01 10:12:40 2024 -0600
+++ b/app/src/main/java/com/five_ten_sg/connectbot/transport/SSH.java	Sat Jun 01 10:27:22 2024 -0600
@@ -1003,7 +1003,7 @@
         host.setUsername(uri.getUserInfo());
         String nickname = uri.getFragment();
         if (nickname == null || nickname.length() == 0) {
-            nickname = getDefaultNickname(host.getUsername(), host.getHostname(), host.getPort()));
+            nickname = getDefaultNickname(host.getUsername(), host.getHostname(), host.getPort());
         }
         host.setNickname(nickname);
         return host;