MySQL Bugs: #88960: Contribution: missing header on Linux

Bug #88960	Contribution: missing header on Linux
Submitted:	18 Dec 2017 16:29	Modified:	31 Jan 2019 12:30
Reporter:	OCA Admin (OCA)	Email Updates:
Status:	Can't repeat	Impact on me:	None
Category:	MySQL Server: Performance Schema	Severity:	S3 (Non-critical)
Version:	5.7	OS:	Any
Assigned to:	Marc ALFF	CPU Architecture:	Any
Tags:	Contribution

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Contributions can be accepted to Open bugs only.

Contribution submitted via Github - missing header on Linux (*) Contribution by David CARLIER (Github devnexen, mysql-server/pull/185#issuecomment-352422029): I confirm the code being submitted is offered under the terms of the OCA, and that I am authorized to contribute it.

Attachment: git_patch_158754391.txt (text/plain), 631 bytes.