Skip to content
GitLab
Explore
Sign in
Merge branch run_local_player into master
Code
Review changes
Check out branch
Download
Patches
Plain diff
Martin Duvanel
requested to merge
run_local_player
into
master
Sep 20, 2017
Overview
0
Commits
17
Changes
2
Expand
Correspond à la version passée en production entre le 13 et le 19 septembre sur les bornes CGN
Merge request reports