GitLab

Merge branch '1019-null-user' into 'devel_14.0.x'

if by any chance user is null then reload webpage (but it should never happen)

See merge request !1025