shutdown existing player when a new file is opened
authorOlaf Wintermann <olaf.wintermann@gmail.com>
Fri, 7 Jan 2022 08:21:05 +0000 (09:21 +0100)
committerOlaf Wintermann <olaf.wintermann@gmail.com>
Fri, 7 Jan 2022 08:21:05 +0000 (09:21 +0100)

No differences found