Re: Chat Channel (was [Discussion] Program for Sandro)

2018-10-12 Thread sandro
Hi, I feel that the chat channel (real time chat) can really improve our experience to more creativity, we could be able to communicate and interact in real time, certainly our productivity would soar, it would lead us to greater satisfaction. Has anyone felt the same way about that idea? What

Re: Reporting broken download link

2018-10-12 Thread Marcus
Am 12.10.2018 um 23:42 schrieb Antonio Gianni: Problem description Exchange this text to describe the problem (What does not work? What do you expect?) [...] I've downloaded a second ago and haven't seen a problem. So, in general it's working. When you have problems with specific mirror

Reporting broken download link

2018-10-12 Thread Antonio Gianni
Problem description Exchange this text to describe the problem (What does not work? What do you expect?) Browser variables Values navigator.appCodeName Mozilla navigator.appName Netscape navigator.appVersion 5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko)

Building trunk with java disabled

2018-10-12 Thread Yuri Dario
Hi, I already built the trunk on OS/2 manually skipping the java stuffs (our latest JVM is java 6). So yesterday I configured the build with --without-java: while configure correctly disabled java, I discovered that gbuild still tries to build java-related projects Is this correct or I still