Previous post closed before I could reply.
I have 0.13.0 and it isn’t working
Update Channel dev
Help, Check for Updates reports no updates are available.
The bug report you linked to was for a bug in 0.13.0 so I would guess the fix is in next public release after 0.13.0