Skip to content
Jump to bottom

merge 4.0.1 20200623 #84

Merged
merged 3 commits into from Jun 23, 2020
Merged

merge 4.0.1 20200623 #84

merged 3 commits into from Jun 23, 2020

Commits on Jun 23, 2020

  1. bump tomcat, add push to new registry

    @pcaskey
    pcaskey committed Jun 23, 2020
    Copy the full SHA
    c8a9fba View commit details
    Browse the repository at this point in the history

  2. fix docker creds

    @pcaskey
    pcaskey committed Jun 23, 2020
    Copy the full SHA
    b4de921 View commit details
    Browse the repository at this point in the history

  3. bugfix

    @pcaskey
    pcaskey committed Jun 23, 2020
    Copy the full SHA
    8acafa2 View commit details
    Browse the repository at this point in the history