From eb0c41040567a826195690b0a975e2e1c4198002 Mon Sep 17 00:00:00 2001
From: Rodolphe Breard <rodolphe@what.tf>
Date: Tue, 5 Nov 2019 17:21:35 +0100
Subject: [PATCH] Update the ant-javacard version

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 8ae7839..bca2c72 100644
--- a/build.xml
+++ b/build.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <project name="smartpgp" default="convert" basedir=".">
   <description>Ant build for SmartPGP applet</description>
-  <get src="https://github.com/martinpaljak/ant-javacard/releases/download/18.06.25/ant-javacard.jar" dest="." skipexisting="true"/>
+  <get src="https://github.com/martinpaljak/ant-javacard/releases/download/19.05.06/ant-javacard.jar" dest="." skipexisting="true"/>
   <taskdef name="javacard" classname="pro.javacard.ant.JavaCard" classpath="ant-javacard.jar"/>
   <target name="convert">
     <javacard>