v10.23.1 🎁

github-actions released this 02 Feb 21:32

0ac6bf0

🐛 Bug Fixes

Fix parsing of line and column numbers in Polyspace parser (#883) @evahabeeballah

Contributors

evahabeeballah

Assets 2