Revision 982894a4493762c0541a5b8938e810b29f59379c

Committed on 02/05/2019 11:13 pm by André R <ar@ez.no> [GitHub Diff]

[Optimization] Skip loading user if already loaded by Platform