diff --git a/Include/patchlevel.h b/Include/patchlevel.h new file mode 100644 index 00000000000..935ec354b71 --- /dev/null +++ b/Include/patchlevel.h @@ -0,0 +1 @@ +#define PATCHLEVEL 0