You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
writeln!(error,"Encountered an unexpected error").unwrap();
20
20
writeln!(error).unwrap();
21
21
22
-
writeln!(error,"This is a bug in Postgres Tools, not an error in your code, and we would appreciate it if you could report it along with the following information to help us fixing the issue:").unwrap();
22
+
writeln!(error,"This is a bug in the Postgres Language Server, not an error in your code, and we would appreciate it if you could report it along with the following information to help us fixing the issue:").unwrap();
0 commit comments