For those looking for a quick & dirty solution until this patch is released, put
export GNOME_DESKTOP_SESSION_ID=$MATE_DESKTOP_SESSION_ID
in ~/.bashrc. (Warning: May have undesired side effects)
For those looking for a quick & dirty solution until this patch is released, put
export GNOME_DESKTOP_ SESSION_ ID=$MATE_ DESKTOP_ SESSION_ ID
in ~/.bashrc. (Warning: May have undesired side effects)