patchlevel.h revision 89750 
1#define PATCHLEVEL 5
2#define BETA "beta12"
3