Closed gkelly closed 6 months ago
Description of changes: clippy reported two extraneous casts, this is a small patch to clean them up.
clippy
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes:
clippy
reported two extraneous casts, this is a small patch to clean them up.By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.