MySQL Bugs: #83285: collection was modified, enumeration operation may not execute

Bug #83285	collection was modified, enumeration operation may not execute
Submitted:	6 Oct 2016 11:21	Modified:	6 Oct 2016 11:24
Reporter:	Nitin Varghese	Email Updates:
Status:	Can't repeat	Impact on me:	None
Category:	MySQL Server	Severity:	S3 (Non-critical)
Version:		OS:	Any
Assigned to:		CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
collection was modified, enumeration operation may not execute

How to repeat:
collection was modified, enumeration operation may not execute in Mysql workbench

Not enough information was provided for us to be able to handle this bug. Please re-read the instructions at http://bugs.mysql.com/how-to-report.php

If you can provide more information, feel free to add it to this bug and change the status back to 'Open'.

Thank you for your interest in MySQL.