Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Bug #19831] Remove duplicate library options
`$(MAINLIBS)` should be included in `$(LIBRUBYARG)` in cases it is needed.
- Loading branch information