- checked and fixed usage of empty()

Marius Cramer

2015-05-22 86e6990d7e6f5634f83ef2a125e14cf08bac1dc0

1
2
3
4
5
-- -----------------------------------------------------------
-- Dummy patch file
-- Do not edit this file
-- See README.txt in sql folder for detailed instructions
-- -----------------------------------------------------------