tree 64e4168003aea1bc96a25d9af27242fe2990ae36
parent 0af38a685dd479edbdcab107f27e66b2e236d9df
author Gary Gregory <garydgregory@gmail.com> 1601383704 -0400
committer Gary Gregory <garydgregory@gmail.com> 1601383704 -0400

Bump spotbugs from 4.1.2 to 4.1.3 #15.