Hi Adrien,

thanks for your reply.

But wouldn't publicly avalable github repo with modified sources violate license (just because non-patch/diff version is publicly available)?