Support for Drupal 7 is ending on 5 January 2025—it’s time to migrate to Drupal 10! Learn about the many benefits of Drupal 10 and find migration tools in our resource center.
A new platform was only created if the target platform dir did not exist, which is the case if we upgrade from 3.0 to 3.1 ... but with dev versions it's always 3.x.
Comments
Comment #2
helmo CreditAttribution: helmo at Initfour websolutions commentedhttp://drupalcode.org/project/provision.git/commit/ea2db5c
Comment #4
gboudrias CreditAttribution: gboudrias at Praxis Labs Coop commented