<br><br><div class="gmail_quote_attribution">On Jun 21 2018, at 6:00 am, users-request@lists.geany.org wrote:</div><blockquote><br><div><div>Send Users mailing list submissions to</div><div>users@lists.geany.org</div><br><div>To subscribe or unsubscribe via the World Wide Web, visit</div><div>https://lists.geany.org/cgi-bin/mailman/listinfo/users</div><div>or, via email, send a message with subject or body 'help' to</div><div>users-request@lists.geany.org</div><br><div>You can reach the person managing the list at</div><div>users-owner@lists.geany.org</div><br><div>When replying, please edit your Subject line so it is more specific</div><div>than "Re: Contents of Users digest..."</div><div>Today's Topics:</div><br><div>1. Re: Build Server Protocol for geany? (Matthew Brush)</div><br><div><div>On 2018-06-20 12:13 AM, Lex Trotman wrote:</div><blockquote><div>See #1458 for discussions about designing a suitable interface for</div><div>plugins to do such things. Afraid it seemed to run out over a year</div><div>ago with no concrete result.</div><br></blockquote><br><div>Link: https://github.com/geany/geany/issues/1458</div><br></div><div>_______________________________________________</div><div>Users mailing list</div><div>Users@lists.geany.org</div><div>https://lists.geany.org/cgi-bin/mailman/listinfo/users</div></div></blockquote><img class="mailspring-open" alt="Open Tracking" width="0" height="0" style="border:0; width:0; height:0;" src="https://link.getmailspring.com/open/1529571694.local-51f4ce99-7e28-v1.2.2-96fb3a99@getmailspring.com?recipient=dXNlcnNAbGlzdHMuZ2Vhbnkub3Jn">