<!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 data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Andreas Tille pushed to branch master at <a href="https://salsa.debian.org/med-team/salmon">Debian Med / salmon</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style="font-weight: bold;"><a href="https://salsa.debian.org/med-team/salmon/-/commit/bf3208f6704cce95329661cd5e445f58fa313126">bf3208f6</a></strong>
<div>
<span> by Andreas Tille </span> <i> at 2023-01-31T10:11:20+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Refresh external files from Pufferfish
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://salsa.debian.org/med-team/salmon/-/commit/dde8d36311632cc1e8d86bb18cd585fe0dc1a60a">dde8d363</a></strong>
<div>
<span> by Andreas Tille </span> <i> at 2023-01-31T10:23:26+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Refresh external files from pufferfish (may be that helps to solve bug #1028713)
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
6 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
debian/changelog
</a>
</li>
<li class="file-stats">
<a href="#2f3a33b986b2df631b6411d797db97e0179ac125">
<span class="deleted-file">
−
debian/external/install/include/pufferfish/chobo/flat_map.hpp
</span>
</a>
</li>
<li class="file-stats">
<a href="#b2e923cb78e8a4abdff87410ff8351c3b98545dd">
<span class="deleted-file">
−
debian/external/install/include/pufferfish/chobo/memory_view.hpp
</span>
</a>
</li>
<li class="file-stats">
<a href="#5c5054d741daad9c9bdf56b077c5c1d3112edc5d">
<span class="deleted-file">
−
debian/external/install/include/pufferfish/chobo/optional.hpp
</span>
</a>
</li>
<li class="file-stats">
<a href="#ba60322af95593608173461c642ef4ba077ff3f4">
<span class="deleted-file">
−
debian/external/install/include/pufferfish/chobo/small_vector.hpp
</span>
</a>
</li>
<li class="file-stats">
<a href="#5c5cddacf087b4ce3a6b43b723da6bb67c4e7ce0">
<span class="deleted-file">
−
debian/external/install/include/pufferfish/chobo/static_vector.hpp
</span>
</a>
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">
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/med-team/salmon/-/compare/f69d2138c0b3d0fc96476523a88ae472e29bc98d...dde8d36311632cc1e8d86bb18cd585fe0dc1a60a">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://salsa.debian.org">salsa.debian.org</a>. <a href="https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</p>
</div>
</body>
</html>