- Fixed the Windows build, which was broken by the presence of a TAB character in verifast.ml, discovered by the tabhunder.exe in the build script (TODO: Run the tabhunter in the Linux and Mac builds.) - Release 12.10 = revision 1261
- Fixed the Windows build, which was broken by the presence of a TAB character in verifast.ml, discovered by the tabhunder.exe in the build script (TODO: Run the tabhunter in the Linux and Mac builds.)
- Release 12.10 = revision 1261

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast