@sgiehl opened this Pull Request on November 11th 2022 Member

Description:

fixes #18550

@tsteur not fully sure about the implications of this "bug". Might have caused invalidations not to be deleted.

Review

This Pull Request was closed on November 14th 2022
Powered by GitHub Issue Mirror