Release the Package Repository Manager version 0.12.0.