IRC Logs for #crux-devel Saturday, 2013-12-07

*** __mavrick61 has quit IRC01:26
*** __mavrick61 has joined #crux-devel03:37
teK_anybody caring 'bout http://lists.crux.nu/pipermail/crux/2013-December/003691.html ?12:31
jaegerI use bash completion and noticed it was gone but I hadn't looked at who maintains it yet14:26
teK_the core team ;)14:45
juehello14:47
jaegerah :)14:48
*** prologic has joined #crux-devel16:08
jueteK_: sepen is16:27
jaegerAnyone know what's going on with the server?18:21
*** c0x` has joined #crux-devel21:08
*** Amnesia has quit IRC21:12
*** c0x has quit IRC21:12
*** Amnesia has joined #crux-devel21:12
frinnstno clue, just noticed it was down21:14
jaegerok21:21
jaegerIt did give me an idea21:21
jaegermaybe set up some ports mirrors with a ports.crux.nu subdomain like we did with rsync.crux.nu21:22
jaegeror use the rsync.crux.nu one if we make sure the mirrors match up21:22
*** pitillo has quit IRC22:06
*** pitillo has joined #crux-devel22:09

Generated by irclog2html.py 2.11.0 by Marius Gedminas - find it at mg.pov.lt!