Tvheadend

Hi, I had a one-off crash while changing the channel.

I had this in my tvheadend.log:
May 09 20:38:33.154 [ INFO]:subscription: "::ffff:10.0.0.66 [ Kodi Media Center ]" unsubscribing from "VRT Eén"
May 09 20:38:33.168 [ ALERT]:CRASH: Signal: 11 in PRG: /usr/local/bin/tvheadend () [3d087c17ed5c39681ef88969169ac6569cf08b89] CWD: /
May 09 20:38:33.169 [ ALERT]:CRASH: Fault address (nil) (Address not mapped)
May 09 20:38:33.169 [ ALERT]:CRASH: Loaded libraries: /lib/libssl.so.1 /lib/libcrypto.so.1 /lib/libz.so.1 /usr/lib/libcurl.so.4 /lib/librt.so.1 /lib/libdl.so.2 /lib/libpthread.so.0 /lib/libm.so.6 /lib/libc.so.6 /usr/lib/libidn.so.11 /usr/lib/liblber-2.4.so.2 /usr/lib/libldap-2.4.so.2 /lib/ld-linux.so.2 /lib/libresolv.so.2 /usr/lib/libsasl2.so.2 /lib/libnss_compat.so.2 /lib/libnsl.so.1 /lib/libnss_nis.so.2 /lib/libnss_files.so.2
May 09 20:38:33.169 [ ALERT]:CRASH: Register dump [19]: 00000033 c1ba0000 0020007b 0000007b ac3ff204 ac3ff1c0 ac3ff1fc acbff2d0 00000000 b0f0294c 00000002 00000000 0000000e 00000004 080694ab 00000073 00210282 acbff2d0 0000007b
May 09 20:38:33.169 [ ALERT]:CRASH: STACKTRACE
May 09 20:38:33.225 [ INFO]:subscription: "::ffff:10.0.0.66 [ Kodi Media Center ]" subscribing on "NET 5", weight: 150, adapter: "Silicon Labs Si2168", network: "DELTA Main Network", mux: "DELTA Main Network: 674,000 kHz", provider: "Delta", service: "NET 5", quality: 100
May 09 20:38:33.246 [ ALERT]:CRASH: /usr/src/tvheadend-3.4patch1/src/trap.c:141 0x8073413
May 09 20:38:33.280 [ ALERT]:CRASH: ??:0 0xb7473640
May 09 20:38:33.320 [ ALERT]:CRASH: /usr/src/tvheadend-3.4patch1/src/htsp_server.c:1866 0x80694ab
May 09 20:38:33.391 [ ALERT]:CRASH: ??:0 0xb746baea
May 09 20:38:33.391 [ ALERT]:CRASH: clone+0x5e (/lib/libc.so.6)

Not sure what to do about it, but I wanted to report it.

best regards,
Peter.