renamed "devel release" to "mainline release".