On Fri, Jan 9, 2015 at 8:03 AM, Dmitry Bogatov <kact...@gnu.org> wrote:

> On 2015-01-09, Joachim Breitner <nome...@debian.org> wrote:
>
> #. I would prefer section by default `unknown`
>

I'm adding a --source-section option to version 4.20.

Reply via email to