<html><head></head><body><div>Hi @Peter,</div><div><br></div><div>On Tue, 2025-05-13 at 10:52 +0100, Peter B wrote:</div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><div>Hi Abou,<br></div><div><br></div><div>I've push the fix to Salsa.<br></div></blockquote><div><div><span style="font-size: 14.666667px;">Looks good to me.</span></div></div><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"><div><br></div><div>Maybe its worth waiting the three days needed for version 4.0<br></div><div>to migrate before uploading?</div></blockquote><div>Yes, let's let it migrate first.</div><div><br></div><div>Maybe you can upload to experimental and test if this fixes really installation on GUI. This can help us gain some time.</div><pre style="caret-color: rgb(46, 52, 54); color: rgb(46, 52, 54); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; text-decoration: none;">-- <br></pre><pre style="caret-color: rgb(46, 52, 54); color: rgb(46, 52, 54); font-variant-caps: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; widows: auto; word-spacing: 0px; -webkit-tap-highlight-color: rgba(0, 0, 0, 0.4); -webkit-text-stroke-width: 0px; text-decoration: none;">Cheers,
Abou Al Montacir</pre><blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px #729fcf solid;padding-left:1ex"></blockquote></body></html>