=dev-util/kdevplatform-1.0.2 =dev-util/kdevelop-4.0.2 =dev-util/kdevelop-php-1.0.2 =dev-util/kdevelop-php-docs-1.0.2 This is the last patch release for 4.0/1.0 release. Please proceed.
amd64 done
x86 stable, closing