No matches were found for subject:"\[GitHub\] \[flink\] tillrohrmann closed pull request #13242\: \[FLINK\-19009\]\[metrics\] Fixed the downtime metric issue and updated the comment"