On 10/14/2008 11:26 PM, Paul Querna wrote: > Ruediger Pluem wrote: >> While looking over the release.sh script that is used to cut our releases >> I noticed that we export our sources via http. Shouldn't this be done via >> https for the sake of integrity? >> > > +1, change the script :-)
Done. r704711. Regards Rüdiger
