We currently have several libraries that have the same filename. They don't collide in a meaningful sense right now, but if we ever needed to install those libraries to a common library location, they would.
We should rename the libraries to have unique filenames.
- is related to
-
SERVER-27503 Rename libraries with unique file names derived from the path to the target
- Closed