[#31550] SQL error if profiling not available/not activated in mysql (3.1.2 pre release)
Prepare for 3.1.5 development
Prepare for 3.1.5 development
Merge remote-tracking branch 'upstream/master' into defrules