littleli_ has quit [Quit: Connection closed for inactivity]
yomimono has quit [Ping timeout: 256 seconds]
yomimono has joined #mirage
mahmudov has quit [Remote host closed the connection]
_whitelogger has joined #mirage
jpo has quit [Ping timeout: 260 seconds]
_whitelogger has joined #mirage
jpo has joined #mirage
Haudegen has joined #mirage
mahmudov has joined #mirage
_whitelogger has joined #mirage
adhux0x0f0x3f-- has quit [Remote host closed the connection]
adhux0x0f0x3f has joined #mirage
Haudegen has quit [Quit: Bin weg.]
<hannes>
h01ger: btw, since you used/tested the patch to the opam package for buster, I think it would be good if you could comment your progress on that bug (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908203 for your convenience). thanks.
<h01ger>
hannes: yes
<h01ger>
more busy than usual due to some external events
<h01ger>
the next pointrelease is not even scheduled yet, so me commenting on this bug is not urgent at all
<h01ger>
happy i found time yesterday to finally use mirage-firewall again
<h01ger>
will reply to the bug soon, likely this week
<hannes>
h01ger: thanks holger
<h01ger>
and, tl;dr: yes & thanks for reminding me! :)