(Next time you can also just ping me and I'll push these updates directly. :)
merged
mentioned in commit 9f72ef66
