MySensors library missing in library manager

[tbowmo]

Somehow Mysensors library have disappeared in the Arduino library manger,

we originally asked for inclusion with issue #5112

link to repository is https://github.com/mysensors/MySensors/tree/master

[agdl]

It should be fixed in wihin an hour. If so close this please

[mfalkvidd]

@agdl What happened? What can we do to prevent this from happening in the future?

[agdl]

There was a temporary server errors by our side sorry about this