Merge branch 'master' into cleanup/gchar-char

This commit is contained in:
Michael Vetter
2023-05-11 08:45:46 +02:00
committed by GitHub
13 changed files with 112 additions and 91 deletions

View File

@@ -54,6 +54,10 @@ void
session_process_events(void)
{
}
void
connection_disconnect(void)
{
}
const char*
connection_get_fulljid(void)
{