On Fri, 14 Jun 2013, Miller, Seth wrote:

> Resizing a partition and resizing a filesystem are two different things and the latter must be done before the former.

Yeah, after that I used gparted.... several times.