Romain Neutron 52798a9053 Redis options set after redis connection

2012-06-19 10:16:10 +02:00

..

Configuration

Fix Travis

2012-05-03 15:58:31 +02:00

Service

Redis options set after redis connection

2012-06-19 10:16:10 +02:00

Configuration.php

add border-manager as a core service

2012-06-13 19:20:13 +02:00

Version.php

bump to 3.7.0.9

2012-06-13 19:20:14 +02:00