History of the file that is called src/include/data/0.7.2.sql at checkin 757810afbb5951d3