add fixes from dirty site patches
[brisk.git] / WARNING.txt
2013-12-27 Matteo Nastasi ... Add a WARNING file to show at the end of the INSTALL... v4.12.1