Reassigned to @sstahl
I don't have the Karma for Moore :). But looks good to me.
Status changed to merged
mentioned in commit 0928603d
Mentioned in commit 0928603d