gedit: version bump to 3.12.2