reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Yunseong Lee <yunseong.l...@gmail.com>
Subject PR is not closed after merging
Date Tue, 19 Jan 2016 06:39:21 GMT
Hi all,

I merged https://github.com/apache/reef/pull/768 to the master, but I
accidentally missed to add 'This closes', which has made the PR still open.

Does anybody know how I can fix this mistake?


Sorry for the inconvenience.

Best regards,
Yunseong

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message