Wait to ask to collect anonymous statistics in JabRefExecutorService to allow jvm to terminate#3266

Merged

tobiasdiez merged 2 commits intoJabRef:masterfrom 125m125:trackingNotificationInJabRefExecutorService

Oct 6, 2017

+10-5

Commits on Oct 5, 2017