Merge PR?

Joakim Tjernlund Joakim.Tjernlund at
Wed Apr 18 10:16:44 EDT 2018

There are a few PR which has been approved but not merged, what is holding merge back? Who merges?
I would love to see the latest PRs by David W. to merged and released ASAP.


More information about the Devel mailing list