[GitHub] flink issue #5837: [FLINK-8426][docs] Error in Generating Timestamp/Watermak...

2018-04-12 Thread mylog00 
Github user mylog00 commented on the issue:

https://github.com/apache/flink/pull/5837
  
Already merged


---

[GitHub] flink issue #5837: [FLINK-8426][docs] Error in Generating Timestamp/Watermak...

2018-04-12 Thread zentol 
Github user zentol commented on the issue:

https://github.com/apache/flink/pull/5837
  
The PR has been merged, @mylog00 could you close it?


---

[GitHub] flink issue #5837: [FLINK-8426][docs] Error in Generating Timestamp/Watermak...

2018-04-11 Thread zentol 
Github user zentol commented on the issue:

https://github.com/apache/flink/pull/5837
  
merging


---