<!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=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Sean Whitton pushed to branch upstream
at <a href="https://salsa.debian.org/haskell-team/agda-stdlib">Debian Haskell Group / agda-stdlib</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/a19b25a865b2000bbd3acd909f5951a5407c1eec">a19b25a8</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:29:18Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 0.17</pre>
</li>
</ul>
<h4>18 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
.gitignore
</a>
</li>
<li class="file-stats">
<a href="#dea01dd89a3b602828e630677fde5d77c06441c8">
.travis.yml
</a>
</li>
<li class="file-stats">
<a href="#ab09011fa121d0a2bb9fa4ca76094f2482b902b7">
CHANGELOG.md
</a>
</li>
<li class="file-stats">
<a href="#12268c113b987b6317cc50f91ee47ea4f0064c8c">
<span class="new-file">
+
CHANGELOG/v0.01.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#570acbb93c7b069e9478d2aebabfb132fa85a8ab">
<span class="new-file">
+
CHANGELOG/v0.02.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#5d732da3f83a8cb93ec0fcc8040016492ceaef76">
<span class="new-file">
+
CHANGELOG/v0.03.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#ed4b535ed267241db2a332f6c2514b904a3f3339">
<span class="new-file">
+
CHANGELOG/v0.04.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#e72671993bac4c899f1f74f3633d319bb53dc718">
<span class="new-file">
+
CHANGELOG/v0.05.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#b0dc2c0b2504c5cc011f004ec7dcc3b72fada1a7">
<span class="new-file">
+
CHANGELOG/v0.06.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#172a3f71e56022504d9708f31ccddc633ddff037">
<span class="new-file">
+
CHANGELOG/v0.07.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#679edf5b734282d0d5b721cf432b8ea7ba72d4b4">
<span class="new-file">
+
CHANGELOG/v0.08.1.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#f58236b16c99350a3ae9dd23a7ce623c17467e02">
<span class="new-file">
+
CHANGELOG/v0.08.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#a6c854d68854533ed70e63b905b0368d9641c963">
<span class="new-file">
+
CHANGELOG/v0.09.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#10b4520811810a77d6603626195c0d70092ba9fd">
<span class="new-file">
+
CHANGELOG/v0.10.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#d6487c4b142e60332c258c84edbdda5f2927ef80">
<span class="new-file">
+
CHANGELOG/v0.11.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#6f448ba7909d7954717d6e28c5dc1ee925b3a1cd">
<span class="new-file">
+
CHANGELOG/v0.12.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#a1e4fd53f67b3bcbf50b2873816ae4736860a5d3">
<span class="new-file">
+
CHANGELOG/v0.13.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#ba8066ec31130e7c000ffff1c4713f7e62f4a5c9">
<span class="new-file">
+
CHANGELOG/v0.14.md
</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: #777777;">
—
<br>
<a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/a19b25a865b2000bbd3acd909f5951a5407c1eec">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.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://salsa.debian.org/haskell-team/agda-stdlib/commit/a19b25a865b2000bbd3acd909f5951a5407c1eec"}}</script>
</p>
</div>
</body>
</html>