Closed eddies closed 5 years ago
Sorry, yes I'll try and push it out today.
On Thu, 11 Jul 2019, 03:46 Edwin Shin, notifications@github.com wrote:
Any chance of cutting a new release that incorporates #10 https://github.com/crdoconnor/xeger/pull/10 and #12 https://github.com/crdoconnor/xeger/pull/12 soon?
Thanks!
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/crdoconnor/xeger/issues/13?email_source=notifications&email_token=ABOJKNKKJW4Y64H6GKH4ZILP62NITA5CNFSM4IANMGR2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4G6QGIMA, or mute the thread https://github.com/notifications/unsubscribe-auth/ABOJKNNOO6POUXGWZTMLTTLP62NITANCNFSM4IANMGRQ .
Sorry about the delay. I've had a hell of a month - broken laptop, etc. Anyway, 0.3.5 is pushed out now.
Any chance of cutting a new release that incorporates #10 and #12 soon?
Thanks!