Davide De Rosa f32c231b90 Remove deprecated API ... Should have done so in 1.5.0		2019-03-21 18:30:40 +01:00
..
Sources	Remove deprecated API	2019-03-21 18:30:40 +01:00