commit | 3b4f5cbaccf55cd7d7b94277db901f1f37d8de53 | [log] [tgz] |
---|---|---|
author | Romain Manni-Bucau <rmannibucau@gmail.com> | Fri Aug 04 15:02:01 2023 +0200 |
committer | GitHub <noreply@github.com> | Fri Aug 04 15:02:01 2023 +0200 |
tree | 45988d25105478ac8a76fa48e03240eb295d7724 | |
parent | 3e0a6a5c778d427427114dc5bfcd9d71989ad7af [diff] | |
parent | 53c7bef4d13301791fcb51cd44e7148e1a8031fc [diff] |
Merge pull request #20 from rzo1/dep-updates Updates several 3rd party dependencies (Tomcat, Johnzon, etc)