Closed davishmcclurg closed 5 years ago
Oh, heh, I didn't see an email! I'll take a look. Sorry!
On Sat, May 4, 2019, 11:16 AM David Harsha notifications@github.com wrote:
I opened a merge request on gitlab, but I'm not sure if things are still maintained there. Should I open one here instead?
https://gitlab.com/cheald/manticore/merge_requests/60 https://gitlab.com/cheald/manticore/merge_requests/61
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/cheald/manticore/issues/84, or mute the thread https://github.com/notifications/unsubscribe-auth/AAACMZQ3FGMVXGN5OXNOWQTPTXHIHANCNFSM4HKZOWOA .
Thanks!
I opened a merge request on gitlab, but I'm not sure if things are still maintained there. Should I open one here instead?
https://gitlab.com/cheald/manticore/merge_requests/60 https://gitlab.com/cheald/manticore/merge_requests/61