Now testing the newer kernel 4.2.0-19 (as opposed to 4.2.0-18 where I first encountered the issue):
$ uname -r 4.2.0-19-generic
will then collect crash files from /var/crash if I find any.
Now testing the newer kernel 4.2.0-19 (as opposed to 4.2.0-18 where I first encountered the issue):
$ uname -r
4.2.0-19-generic
$ uname -r
4.2.0-19-generic
will then collect crash files from /var/crash if I find any.