<div dir="ltr"><div dir="ltr"><div>It's merged and the changes are live[0].</div><div><br></div><div>[0] <a href="https://docs.pulpproject.org/en/3.0/nightly/plugins/index.html#plugin-list">https://docs.pulpproject.org/en/3.0/nightly/plugins/index.html#plugin-list</a><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 18, 2018 at 3:19 PM, Simon Baatz <span dir="ltr"><<a href="mailto:gmbnomis@gmail.com" target="_blank">gmbnomis@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Sat, Sep 15, 2018 at 05:40:15PM -0400, Dennis Kliban wrote:<br>
>    That's great news Simon! It should be added to the plugins page of the<br>
>    docs[0]. What do you think?<br>
<br>
</span>Good idea! PR is at [0]<br>
<br>
[0] <a href="https://github.com/pulp/pulp/pull/3646" rel="noreferrer" target="_blank">https://github.com/pulp/pulp/<wbr>pull/3646</a><br>
</blockquote></div><br></div>