-
Christian Kandeler authored
The functionality it offers is not essential, and it has side-effects that can lead to bugs if users turn it on for no particular reason. Change-Id: Iaed660c649de46e7f81d3a1c3311693ed0820d50 Reviewed-by: Joerg Bornemann <joerg.bornemann@digia.com>
5cc37491