Vote: mysql5 replaced_by ?

[Ryan Schmidt]

On Nov 19, 2013, at 15:15, Joshua Root wrote:
> On 2013-11-20 07:45 , Bradley Giesbrecht wrote:
>> Popular choices:
>> mysql55
>> mysql56
>> mariadb
>> mariadb55 (mariadb replaced_by mariadb55)
>> 
>> 
>> My vote:
>> +1 mariadb55
> 
> mysql5 is 5.1, so really the only option is to replace it with mysql51.

Agreed because the whole reason why we have separate ports for different versions of database servers is so that users can do it at a time of their choosing, since doing so may necessitate upgrading the database structure and/or changing the user’s code which uses the database.