[PATCH 1009/1017] rename getX86KernelLibName() to pocl_get_distro_kernellib_name()
Gbp-Pq: Name 1009-rename-getX86KernelLibName-to-pocl_get_distro_kernel.patch
pocl (3.1-2) unstable; urgency=medium
* Fix segmentation fault. (Closes: #
1028636)
[dgit import unpatched pocl 3.1-2]