diff options
Diffstat (limited to 'early-plugins.mk')
| -rw-r--r-- | early-plugins.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index 33d3c6a..3e532ea 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -24,7 +24,7 @@ # major release is out. OTP-18 := OTP-18.0.3 OTP-18.1.5 OTP-18.2.4 OTP-18.3.4.11 -OTP-19 := OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.12 +OTP-19 := OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.13 OTP-20 := OTP-20.0.5 OTP-20.1.7 OTP-20.2.4 OTP-20.3.8.17 OTP-21 := OTP-21.0.9 OTP-21.1.4 OTP-21.2.2 @@ -46,7 +46,7 @@ OTP-18-DROPPED := OTP-18.3.4 OTP-18.3.4.6 OTP-18.3.4.7 OTP-18.3.4.8 \ OTP-18.3.4.9 OTP-18.3.4.10 OTP-19-DROPPED := OTP-19.3.6 OTP-19.3.6.3 OTP-19.3.6.4 OTP-19.3.6.5 \ OTP-19.3.6.6 OTP-19.3.6.7 OTP-19.3.6.8 OTP-19.3.6.9 OTP-19.3.6.10 \ - OTP-19.3.6.11 + OTP-19.3.6.11 OTP-19.3.6.12 OTP-20-DROPPED := OTP-20.1.5 OTP-20.1.6 OTP-20.2 OTP-20.2.1 OTP-20.2.2 \ OTP-20.2.3 OTP-20.3 OTP-20.3.2 OTP-20.3.3 OTP-20.3.4 OTP-20.3.5 \ OTP-20.3.6 OTP-20.3.7 OTP-20.3.8 OTP-20.3.8.1 OTP-20.3.8.2 \ |