zhijiangW commented on pull request #12489:
URL: https://github.com/apache/flink/pull/12489#issuecomment-641048880


   @rkhachatryan thanks for the update. 
   Before merging, I found the commit title missing [checkpointing] tag info. 
If you do not mind, i can squash these two commits and edit the commit title 
directly on the page. Or you want to keep separate merged commit and manually 
add the tag by yourself? I am fine with either way.


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
[email protected]


Reply via email to