dealii/dealii — pull request #131 by bangerth (2014-09-03 19:47:52+00:00)
Title: Move a couple of entries in the changelog to their correct place.

A couple of entries had ended up in the wrong place (general changes instead of specific changes). While it's debatable where exactly the line is, these items should probably be in the second category. Move them there.