am 85dfec8c: Merge change 3174 into donut

Merge commit '85dfec8c35d4e3216591bd2e534bbebd6338b969'

* commit '85dfec8c35d4e3216591bd2e534bbebd6338b969':
  Added bugreport collecting mechanism in case of crashes.