Boards Manager?

I see you submitted an issue report:

but it's a bit light on details.

Did you try the hourly build?

If so, did it fix the problem?

If not, why not?