reef-dev mailing list archives

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

I merged 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,

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