| Bug #75131 | Option file editor missing innodb_buffer_pool_size | ||
|---|---|---|---|
| Submitted: | 6 Dec 2014 15:05 | Modified: | 7 Mar 2015 2:56 |
| Reporter: | Mario Beck | Email Updates: | |
| Status: | Closed | Impact on me: | |
| Category: | MySQL Workbench: Administration | Severity: | S3 (Non-critical) |
| Version: | 6.2.4.12437 build 2427 (32bit) | OS: | Windows (Windows 7) |
| Assigned to: | CPU Architecture: | Any | |
| Tags: | innodb_buffer_pool_size | ||
- View
- Add Comment
- Files
- Developer
- Edit Submission
- View Progress Log
- Contributions
Contributions can be accepted to Open bugs only.
