Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? +1: 18 -1: 0 0: 0 So we will move the channel. . . . The channel is already moved - please join #dev.openoffice.org! I'll spend some time during weekend to announce the change, change wiki pages, setup #openoffice.org's topic etc. -- Pavel Janík [EMAIL PROTECTED] - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Hi all, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org My +1 mail seems to have gotten lost, so here it is again. So, what are you guys waiting for? We are currently only 4 people in that chat :-) -Bjoern P.S.: We should also rename #go-oo to #dev.openoffice.org ;-) - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
i'm no dev, but +1 :) Caio Tiago Oliveira wrote: Pavel Janík, 17-01-2007 18:31: Hi, ... renaming current #openoffice.org channel to #dev.openoffice.org ... What about the #users.openoffice.org? #openoffice.org would be for general talking (including to support users) and we would still having a #users.openoffice.org or it would be dropped? currently, the users channel is surprisingly inactive. scattering users even more would not be good - maybe if in the future it gets overcrowded, a split could happen. also, as ain mentioned, a pretty large percentage of questions are above average difficulty level, and, in my opinion, too many of them stay unanswered. ... -- Rich - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Pavel Janík wrote: Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? Please vote in this thread. The deadline (me as a benevolent dictator decided ;-) is this Friday, 23:59:59 UTC. +1 from me Juergen - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Pavel Janík [EMAIL PROTECTED] writes: renaming current #openoffice.org channel to #dev.openoffice.org +1 Cheers, -- Thorsten - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Hi Pavel So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? +1 but be carefull not building an ivory tower (disconnect from the basis) Laurent -- Laurent Godard [EMAIL PROTECTED] - Ingénierie OpenOffice.org - http://www.indesko.com Nuxeo Enterprise Content Management http://www.nuxeo.com - http://www.nuxeo.org Livre Programmation OpenOffice.org, Eyrolles 2004-2006 - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Pavel Janík wrote: Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? Please vote in this thread. The deadline (me as a benevolent dictator decided ;-) is this Friday, 23:59:59 UTC. +1 Mathias -- Mathias Bauer (mba) - Project Lead OpenOffice.org Writer OpenOffice.org Engineering at Sun: http://blogs.sun.com/GullFOSS Please don't reply to [EMAIL PROTECTED]. I use it for the OOo lists and only rarely read other mails sent to it. - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Pavel Janík wrote: Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? Please vote in this thread. The deadline (me as a benevolent dictator decided ;-) is this Friday, 23:59:59 UTC. +1 Carsten - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Hi Pavel, On Wednesday, 2007-01-17 22:31:06 +0100, Pavel Janík wrote: renaming current #openoffice.org channel to #dev.openoffice.org +1 Eike -- OOo/SO Calc core developer. Number formatter stricken i18n transpositionizer. OpenOffice.org Engineering at Sun: http://blogs.sun.com/GullFOSS Please don't send personal mail to the [EMAIL PROTECTED] account, which I use for mailing lists only and don't read from outside Sun. Thanks. - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Hi Caio, On Wednesday, 2007-01-17 20:36:46 -0300, Caio Tiago Oliveira wrote: This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. What about the #users.openoffice.org? #openoffice.org would be for general talking (including to support users) and we would still having a #users.openoffice.org or it would be dropped? I suggest to move #users.openoffice.org to #openoffice.org afterwards, making it the default anything goes channel. Eike -- OOo/SO Calc core developer. Number formatter stricken i18n transpositionizer. OpenOffice.org Engineering at Sun: http://blogs.sun.com/GullFOSS Please don't send personal mail to the [EMAIL PROTECTED] account, which I use for mailing lists only and don't read from outside Sun. Thanks. - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Hi Pavel, Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. +1 for #dev.openoffice.org And +1 for renaming #go-oo to #dev.openoffice.org as well ;-) just my 6cts (the taxes were increased in Germany) -Bjoern - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Pavel Janík schrieb: Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? +1 - Kai - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
+1 On 1/18/07, Kai Ahrens [EMAIL PROTECTED] wrote: Pavel Janík schrieb: Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? +1 - Kai - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
+1 2007/1/17, Pavel Janík [EMAIL PROTECTED]: Hi, as you probably know, several people want to do this operation on freenode.net: renaming current #openoffice.org channel to #dev.openoffice.org This should free #openoffice.org (the default guess) channel afterwards for generic OOo channel, mainly oriented to support our users. I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? -- Best Regards Christian Junker - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
Re: [dev] Renaming #openoffice.org into #dev.openoffice.org?
Hi, +1 for me : good idea Regards, Eric Bachard Le 17 janv. 07 à 22:31, Pavel Janík a écrit : I'd like to call for vote here to collect some general dev attitude to this act. So: do you want to rename the channel? +1 means yes, -1 means no, +0 means What is a channel? Please vote in this thread. The deadline (me as a benevolent dictator decided ;-) is this Friday, 23:59:59 UTC. - To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]