miniwoody 1.2a has been released. A few bug fixes has been made, f.e. a after installation of german-environment users was not able to change their desktop behavior. This has been fixed within ver1.2a.