other/10628: core file not generated

[Wolfgang Bangerth]

> 3.4 has an option -dH.

Does that mean that the PR is thus resolved and should be closed?

Thanks
  W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/