08:08:33 My proposal is merged. Thanks luigi and everybody 🙂 i will be on holiday until the 24th, but i will still publish the monthly report (the last of my previous proposal) on reddit one of the next days. 08:16:56 ErCiccione: enjoy your time off :D 08:22:47 "time off", but thanks :P 13:50:25 for the sources, on github luigi1111 is putting zip and tar.gz, selsta you made tar.bz2 13:51:02 github are auto generated 13:51:07 and are missing submodules 13:51:10 we can't remove them 13:51:23 oh ok, so no way to have matching hashes anyway 13:51:54 everyone can create their own source archive and run diff 13:53:42 yes if they have access to github. I guess we want to host to make sure people can access sources even if github is down though, so signing is a nice plus