tree 7f4d9557399c3d6531fe0c7f979de8595ac09f3b
parent a293f9609d4d40fa224d0ef3cc4fdbd1b0d6420c
parent c7099570dd4f69545214a5cb196a265f00315281
author David Pursehouse <dpursehouse@digital.ai> 1587692122 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1587692262 +0900

Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  Set version to 2.16.19-SNAPSHOT
  Set version to 2.16.18
  Upgrade gwtjsonrpc to 1.12

This merge omits the changes done in Iad98efe04 ("Upgrade gwtjsonrpc
to 1.12") because the gwtjsonrpc library is not used on this branch.

The fixes that were added in gwtjsonrpc 1.12 need to be redone in a
separate change, which will be done as a follow-up to this one.

Change-Id: I43708e53a5d216241eb3aa702ccfdfb5b8453ccf