<div dir="ltr">Hi,<div><br></div><div>thanks for the patches and sorry for the late reply (holiday season, so I'm a little on and off).</div><div><br></div><div>My plan is to do a 4.13.2 release asap (to get more testing done with xfconf >=4.13.2) and then merge in all the introspection patches so we can differentiate the testing/features a little by release.</div><div><br></div><div>While sending patches through the ML is fine I personally prefer bugreports because we can reference those in the commit messages and get a little more traceability.</div><div><br></div><div>Cheers</div><div>Simon</div><div><br><br><div class="gmail_quote"><div dir="ltr">On Sun, Aug 6, 2017 at 7:39 PM Vidar Braut Haarr <<a href="mailto:vhaarr@gmail.com">vhaarr@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">All the above patches depend on<br>
<a href="https://bugzilla.xfce.org/attachment.cgi?id=7194" rel="noreferrer" target="_blank">https://bugzilla.xfce.org/attachment.cgi?id=7194</a> from<br>
<a href="https://bugzilla.xfce.org/show_bug.cgi?id=13689" rel="noreferrer" target="_blank">https://bugzilla.xfce.org/show_bug.cgi?id=13689</a> being applied first.<br>
<br>
On Sun, Aug 6, 2017 at 7:34 PM, Vidar Braut Haarr <<a href="mailto:vhaarr@gmail.com" target="_blank">vhaarr@gmail.com</a>> wrote:<br>
> Hi,<br>
><br>
> The following 9 patches fix up GIR and adds vapi-generation to xfce4-panel.<br>
> I am on #xfce-dev as folk.<br>
><br>
> --<br>
> Vidar Braut Haarr<br>
> "Programmers don't die, they<br>
> just GOSUB without RETURN."<br>
<br>
<br>
<br>
--<br>
Vidar Braut Haarr<br>
"Programmers don't die, they<br>
just GOSUB without RETURN."<br>
_______________________________________________<br>
Xfce4-dev mailing list<br>
<a href="mailto:Xfce4-dev@xfce.org" target="_blank">Xfce4-dev@xfce.org</a><br>
<a href="https://mail.xfce.org/mailman/listinfo/xfce4-dev" rel="noreferrer" target="_blank">https://mail.xfce.org/mailman/listinfo/xfce4-dev</a></blockquote></div></div></div>