On 10/12/17 17:47, Tom Van Looy wrote: > Hi Martijn > > Maybe it is a good idea to just remove 7.0 and not introduce 7.1 anymore. > Because 7.2 is planned for release on October 26. There will be plenty of > time to test this release before 6.3. What do you think? > Maintaining an extra version isn't that bad, since all versions share almost everything. It might save some extra plumbing if we'd stick with one version, but as long there's multiple supported PHP versions upstream I don't see a reason to not include them all, since the plumbing is already there.
martijn@