# HG changeset patch # User Jaroslav Tulach # Date 1443208277 -7200 # Node ID d8280a72a8e57cada4d5fb2ee9dedfe4bd1f8b74 # Parent 201c4557aab5c540483568f3d575bc5bd41bd922 Update to version 1.2.3 of HTML/Java API diff -r 201c4557aab5 -r d8280a72a8e5 pom.xml --- a/pom.xml Sat Sep 19 09:43:59 2015 +0200 +++ b/pom.xml Fri Sep 25 21:11:17 2015 +0200 @@ -15,7 +15,7 @@ UTF-8 RELEASE80 COPYING - 1.2.2 + 1.2.3 none