v2016.06.1
Michael Grzeschik (1):
set minimal kernel version to 3.10 for kernel headers 4.x
Michael Olbrich (3):
cross-gcc: don't try to filter out PTXCONF_DESTDIR if it's not set
ptxconfigs: use PTXdist 2016.06.1
release 2016.06.1