Opened 7 years ago
Closed 7 years ago
#54263 closed request (fixed)
mariadb-10.2
Reported by: | mmcclenn (Michael McClennen) | Owned by: | pixilla (Bradley Giesbrecht) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | |
Keywords: | Cc: | ||
Port: | mariadb-10.2 |
Description
Now that MariaDB 10.2 is stable, do we have an estimate of when the mariadb-10.2-server port will be available?
Change History (4)
comment:1 Changed 7 years ago by ryandesign (Ryan Carsten Schmidt)
Owner: | set to pixilla |
---|---|
Port: | mariadb-10.2 added |
Status: | new → assigned |
Summary: | mariadb-10.2-server → mariadb-10.2 |
comment:2 Changed 7 years ago by Garfield-fr (Bertrand Zuchuat)
comment:3 Changed 7 years ago by pixilla (Bradley Giesbrecht)
I copied the mariadb-10.1 port to mariadb-10.2.
mariadb-10.2 fails to build storage/rocksdb. Applied upstream patch, will see if it builds now.
comment:4 Changed 7 years ago by Bradley Giesbrecht <brad@…>
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
Any news about this ticket ?