apt::setting expects priority to be an integer, set defaults accordingly
authorMathias Merscher <Mathias.Merscher@dg-i.net>
Tue, 19 Apr 2016 10:28:45 +0000 (12:28 +0200)
committerMathias Merscher <Mathias.Merscher@dg-i.net>
Tue, 19 Apr 2016 10:31:00 +0000 (12:31 +0200)
commite5d5123521e1c01e0436f5e13a8462fdb1c09d1e
treec5c0f4df63c7326be05f89ec348237dfa8776fa9
parentd4b2e9021a83a8c6a86926b72ccdb08870404c80
apt::setting expects priority to be an integer, set defaults accordingly

Signed-off-by: Mathias Merscher <Mathias.Merscher@dg-i.net>
manifests/conf.pp
manifests/pin.pp