Merge branch 'develop' into debian/sid
authorAndrea Zagli <azagli@libero.it>
Sat, 11 Mar 2017 09:54:04 +0000 (10:54 +0100)
committerAndrea Zagli <azagli@libero.it>
Sat, 11 Mar 2017 09:54:04 +0000 (10:54 +0100)
commitfb26fd705f097693c531d17d5f26ae8c53cd1e43
treed639faa8be6bcac405330bd73d0670e6fee5bafd
parent885f35cbe8f6b4a4d26ea318b0af05ac434ba2a6
parente2390fe342c3226f47f4255832c2f44446c16b26
Merge branch 'develop' into debian/sid