[MDEV-17117] MyRocks: merge from the upstream, August 2018 Created: 2018-09-01 Updated: 2018-09-27 Resolved: 2018-09-03 |
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | Storage Engine - RocksDB |
| Fix Version/s: | 10.2.18 |
| Type: | Task | Priority: | Major |
| Reporter: | Sergei Petrunia | Assignee: | Sergei Petrunia |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Issue Links: |
|
||||||||||||||||
| Description |
|
This is to keep track of August'18 merge from the MyRocks upstream. The tree: |
| Comments |
| Comment by Sergei Petrunia [ 2018-09-01 ] |
|
Status update:
|
| Comment by Sergei Petrunia [ 2018-09-03 ] |
|
The tree has been merged into 10.2 main |