Jonathan Carter (highvoltage) Fri, 13 Jan 2017 05:06:45 -0800
I can't reproduce it in the new partition manager. Perhaps it's safe to close this?
