Sonlib dependency is unnecessary #31
Description
This should be removed, even if it duplicates a small amount of library code (the amount is trivial, I think).
{{ message }}
This should be removed, even if it duplicates a small amount of library code (the amount is trivial, I think).