diff options
Diffstat (limited to 'early-plugins.mk')
| -rw-r--r-- | early-plugins.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index dfc5896..357597b 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -20,7 +20,7 @@ OTP-18 := OTP-18.0.3 OTP-18.1.5 OTP-18.2.4 OTP-18.3.4.8 OTP-19 := OTP-19.0.7 OTP-19.1.6 OTP-19.2.3 OTP-19.3.6.6 -OTP-20 := OTP-20.0.5 OTP-20.1.7 OTP-20.2.4 +OTP-20 := OTP-20.0.5 OTP-20.1.7 OTP-20.2.4 OTP-20.3 OTP-18+ := $(OTP-18) $(OTP-19) $(OTP-20) OTP-19+ := $(OTP-19) $(OTP-20) |