On 2018-07-13 15:53, Julian Reschke wrote:
Hi everybody,I have a ~3M diff pending :-) Everybody please review the lastet status update in the issue.Best regards, Julian
OK, the changes are applied. Will remove the remaining JSR305 dependency soonish.
Best regards, Julian
