<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Olek Wojnar pushed to branch master
at <a href="https://salsa.debian.org/java-team/checker-framework-java">Debian Java Maintainers / checker-framework-java</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://salsa.debian.org/java-team/checker-framework-java/-/commit/6565401c39715c477c1f2e2e0ee60d754e565092">6565401c</a></strong>
<div>
<span>by Olek Wojnar</span>
<i>at 2020-10-22T15:51:27-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 3.0.1+ds1</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/java-team/checker-framework-java/-/commit/231101792a2b2553da1905dbb23667b99b151c26">23110179</a></strong>
<div>
<span>by Olek Wojnar</span>
<i>at 2020-10-22T15:52:07-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Initial packaging
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
<span class="new-file">
+
.gitignore
</span>
</a>
</li>
<li class="file-stats">
<a href="#5da93d3ebfbadd620ae081fc5aa64ac8ac77097b">
<span class="new-file">
+
.lgtm.yml
</span>
</a>
</li>
<li class="file-stats">
<a href="#3818bb59325acdd39404d64bb94ae5aa1730614f">
<span class="new-file">
+
.travis-build-without-test.sh
</span>
</a>
</li>
<li class="file-stats">
<a href="#7ed1d546722363af3078a6aefcc613d36eb8d749">
<span class="new-file">
+
.travis-build.sh
</span>
</a>
</li>
<li class="file-stats">
<a href="#dea01dd89a3b602828e630677fde5d77c06441c8">
<span class="new-file">
+
.travis.yml
</span>
</a>
</li>
<li class="file-stats">
<a href="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8">
<span class="new-file">
+
CONTRIBUTING.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#79b82ce9b64a924266619555502f890dd80c83b9">
<span class="new-file">
+
LICENSE.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
<span class="new-file">
+
README.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#40ebc6823f24f296c0cd3fddd6ccda69b74ff2e4">
<span class="new-file">
+
azure-pipelines.yml
</span>
</a>
</li>
<li class="file-stats">
<a href="#f07866736216be0ee2aba49e392191aeae700a35">
<span class="new-file">
+
build.gradle
</span>
</a>
</li>
<li class="file-stats">
<a href="#ce0e5c4949726dad6dc17cd8a745baa4fd61d32d">
<span class="new-file">
+
changelog.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#ac63c24a7bc067cb92425e4991fe73414f5ec43f">
<span class="new-file">
+
checker-qual-android/build.gradle
</span>
</a>
</li>
<li class="file-stats">
<a href="#79d952839b650b033990654ed85e8964a9113e80">
<span class="new-file">
+
checker-qual/LICENSE.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#4349175ea5fcc88f733ec42154e60a7ac27ebeb1">
<span class="new-file">
+
checker-qual/build.gradle
</span>
</a>
</li>
<li class="file-stats">
<a href="#98ab05ef819e297fae0c4e3a15909d04587064f5">
<span class="new-file">
+
checker/.classpath
</span>
</a>
</li>
<li class="file-stats">
<a href="#b26c7be86f143b78e6401f6dc13b0cced3b397d4">
<span class="new-file">
+
checker/.project
</span>
</a>
</li>
<li class="file-stats">
<a href="#f6131460cf7bf2b7670a95ce9e841759726144a9">
<span class="new-file">
+
checker/bin-devel/Dockerfile-README
</span>
</a>
</li>
<li class="file-stats">
<a href="#17bb07bb9bbfd2fd165dfddcecc3715a9cad6719">
<span class="new-file">
+
checker/bin-devel/Dockerfile-ubuntu-jdk11
</span>
</a>
</li>
<li class="file-stats">
<a href="#89801ba0c8ebf8e73ad841be9429603def66cce9">
<span class="new-file">
+
checker/bin-devel/Dockerfile-ubuntu-jdk11-plus
</span>
</a>
</li>
<li class="file-stats">
<a href="#24f95cdff1b70bdfba4c84f75afad4848237064d">
<span class="new-file">
+
checker/bin-devel/Dockerfile-ubuntu-jdk11-plus-buildjdk
</span>
</a>
</li>
<li class="file-stats">
<a href="#a7abf66ca8b04bf9b927bd6d31a229f4f5fcb8c1">
<span class="new-file">
+
checker/bin-devel/Dockerfile-ubuntu-jdk8
</span>
</a>
</li>
<li class="file-stats">
<a href="#7e68b7bbcaf6de2b402e74a6aba674625449888e">
<span class="new-file">
+
checker/bin-devel/Dockerfile-ubuntu-jdk8-plus
</span>
</a>
</li>
<li class="file-stats">
<a href="#924fc76c32245c1812f8457377d03ab9618c6fc7">
<span class="new-file">
+
checker/bin-devel/README
</span>
</a>
</li>
<li class="file-stats">
<a href="#ad9374a5347cf6c36bfb8cb6139cb50c1a2b67ba">
<span class="new-file">
+
checker/bin-devel/build.sh
</span>
</a>
</li>
<li class="file-stats">
<a href="#f856a6ff93ad0e9bd5b37c5a39f486e9f896ba4a">
<span class="new-file">
+
checker/bin-devel/count-suppressions
</span>
</a>
</li>
<li class="file-stats">
<a href="#cc771618816caa1d4f557a07fb3c0a45160a4f80">
<span class="new-file">
+
checker/bin-devel/git.post-merge
</span>
</a>
</li>
<li class="file-stats">
<a href="#a598a0b1ab20459246e47cc665e53f0225d3f0b4">
<span class="new-file">
+
checker/bin-devel/git.pre-commit
</span>
</a>
</li>
<li class="file-stats">
<a href="#ece24f32603438650ecdc7b131b98946620a907f">
<span class="new-file">
+
checker/bin-devel/javac
</span>
</a>
</li>
<li class="file-stats">
<a href="#2cb526a0874c1320fe57b401cc5923b5554bda5e">
<span class="new-file">
+
checker/bin-devel/javac-debug
</span>
</a>
</li>
<li class="file-stats">
<a href="#374b0075566cb0c4f045dcd099c775484287367e">
<span class="new-file">
+
checker/bin-devel/test-all-tests.sh
</span>
</a>
</li>
</ul>
<h5>The diff was not included because it is too large.</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<br>
<a href="https://salsa.debian.org/java-team/checker-framework-java/-/compare/e38f99a68410d146d3e68f4fe993855e53d05740...231101792a2b2553da1905dbb23667b99b151c26">View it on GitLab</a>.
<br>
You're receiving this email because of your account on salsa.debian.org.
If you'd like to receive fewer emails, you can
adjust your notification settings.
</p>
</div>
</body>
</html>