version.c: Add new patch numbers

This commit is contained in:
David Bürgin
2015-04-23 07:06:12 +02:00
committed by Justin M. Keyes
parent 5a1a2ba783
commit ed464908e4

View File

@@ -67,6 +67,16 @@ static char *features[] = {
// clang-format off
static int included_patches[] = {
//712,
//711,
//710,
//709,
//708,
//707,
//706,
//705,
//704,
//703,
702,
//701,
//700,