diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/milestone.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/milestone.txt b/config/milestone.txt index b617f64b7..d4c5c3f4b 100644 --- a/config/milestone.txt +++ b/config/milestone.txt @@ -10,4 +10,4 @@ # hardcoded milestones in the tree from these two files. #-------------------------------------------------------- -4.1.2 +4.1.3 |