Skip to content
This repository has been archived by the owner on Nov 5, 2022. It is now read-only.

Update pom.xml - Update Jetbrains Annotations #7

Merged
merged 4 commits into from
Apr 28, 2019
Merged

Update pom.xml - Update Jetbrains Annotations #7

merged 4 commits into from
Apr 28, 2019

Commits on Jun 7, 2018

  1. Update pom.xml 

    Update Jetbrains Annotations
    @arnzel
    arnzel authored Jun 7, 2018
    Configuration menu
    Copy the full SHA
    2db1b6c View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2019

  1. Update to latest version of org.jetbrains:annotations, v17.0.0

    @rnorth
    rnorth committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    7ea8e59 View commit details
    Browse the repository at this point in the history

  2. Empty commit to trigger build (CircleCI webhook was disconnected)

    @rnorth
    rnorth committed Apr 28, 2019
    Configuration menu
    Copy the full SHA
    224295a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into patch-2

    @rnorth
    rnorth authored Apr 28, 2019
    Configuration menu
    Copy the full SHA
    b9b504f View commit details
    Browse the repository at this point in the history