Thanks for the report. I think that the memory is not (completely) freed during the shutdown. But this is not a memory leak as the memory will be released after the application was stopped. I have change the description accordingly.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.