debian/5.20.2-2

Jean-Michel Vourgère

@nirgal

2593fd14 · Fixed doc-base name (#809346) · Dec 29, 2015

Tagging debian version 5.20.2-2