- fixed some things from previous commits

Marius Burkard

2016-02-18 e06b59c893c0b1e6c022bf9591931b0c2da7ddb8

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