reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Yunseong Lee <yunseong.l...@gmail.com>
Subject Re: PR is not closed after merging
Date Tue, 19 Jan 2016 07:37:06 GMT
Thanks a lot, Andrew!
I'll mark the JIRA issue as resolved.

Regards,
Yunseong


On Tue, Jan 19, 2016 at 3:31 PM, Andrew Chung <afchung90@gmail.com> wrote:

> PR to be closed. In this case, I'll close my own PR :).
>

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