ChangeLog: mention who reported the problem.