Details
-
New Feature
-
Status: Open (View Workflow)
-
Major
-
Resolution: Unresolved
-
None
-
None
Description
This is a continuation of https://github.com/MariaDB/server/pull/4209. The consensus in that PR's discussion is that this file should be removed. Hence I've created https://github.com/MariaDB/server/pull/4487 to actually remove the file.