Closed adamretter closed 5 years ago
@claudius108 Great! Shall I merge the PR then?
Sure.
On Fri, Jul 19, 2019 at 12:02 AM Joe Wicentowski notifications@github.com wrote:
@claudius108 https://github.com/claudius108 Great! Shall I merge the PR then?
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/eXist-db/crypto-exist-java-lib/pull/10?email_source=notifications&email_token=AANKHHTFEBRHBDELXMJUVITQADK6LA5CNFSM4G42FSY2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD2JYZ6Y#issuecomment-512986363, or mute the thread https://github.com/notifications/unsubscribe-auth/AANKHHTQFUX2OKZGMFB7UALQADK6LANCNFSM4G42FSYQ .
Agree.