v1.1.2
What's Changed
v1.1.2 mostly brings in a bugfix to handle <remove-project>
elements
properly.
Without this fix, we can have spurious versions generated by projects
that should be removed from manifest.
shortlog:
Mattijs Korpershoek (1):
check: Fix handling of <remove-project /> element
Pull requests
Full Changelog: v1.1.1...v1.1.2