Manuel Friedli 31c1191b12 renamed .810.0_rc9 to 8.11.0_rc1; commit id not changed yet.		2016-07-26 15:57:59 +02:00
..
gitlab-ce	renamed .810.0_rc9 to 8.11.0_rc1; commit id not changed yet.	2016-07-26 15:57:59 +02:00