Latest version of dwarflint?

[Mark Wielaard]

On Fri, 2017-09-22 at 15:37 +0200, Djordje Todorovic wrote:
> How should I send this patches? Should I wait for you to make a new
> "dwarflint" branch which follows master branch or?

However is most convenient to you.
Do you have patches against the origin/dwarf branch that contained the
original dwarlint? Or against current master (or the 0.170 release)
branch? If you have them in a git branch and it is easy to extract them
then using git send-email to this list would probably be easiest. Then
we can create a new branch as base to apply them on top.

Thanks,

Mark