Auto update stopped?

[samuelzhouhe]

Is there an issue in the daily automatic update? There hasn't been an update since Apr.27 though.

[hunkim]

I'll double check. Now it's updated.

[TheMikeyR]

@hunkim I assume it stopped again since the last update was over a month ago.