The issue was fixed upstream in
https://gitlab.com/gnutls/gnutls/commit/a18258dc
** Changed in: gnutls28 (Ubuntu)
Importance: Undecided => High
** Changed in: gnutls28 (Ubuntu)
Status: Confirmed => In Progress
** Changed in: gnome-music (Ubuntu)
Importance: Undecided => High
** Changed in: gnome-music (Ubuntu)
Status: Confirmed => Invalid
** Tags added: rls-dd-incoming
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1804673
Title:
gnutls causes gnome-music segmentation fault
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-music/+bug/1804673/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs