Closed waja closed 8 years ago
@duncs Do you need any further information? Something I need to provide? Is this a bug or maybe a fault on my side?
I have enough information. What I don't have enough of currently is time. I will look into this when I can
Duncs
On 13 Jan 2016, at 07:44, waja notifications@github.com wrote:
@duncs Do you need any further information? Something I need to provide? Is this a bug or maybe a fault on my side?
— Reply to this email directly or view it on GitHub.
I have enough information. What I don't have enough of currently is time. I will look into this when I can
Thanks @duncs. Don't worry. Just wanted to know if there is anything I can do.
This has been fixed and pushed to the git repository. It will be included in the next release.
Duncs
Many thanks!
Accordingly to the manpage, there is an
extra_tag_file
configure option in the config file. Unfortunately this seems not to work actually:Many thanks for looking into it.