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.
Portions of this website are copyright © 2001, 2002 The PHP Group
Page generated in 0.048 sec. using MySQL 8.4.7-u6-cloud
Timestamp references displayed by the system are UTC.
Content reproduced on this site is the property of the
respective copyright holders.
It is not reviewed in advance
by Oracle and does not necessarily represent the opinion of
Oracle or any other party.