It's merged and the changes are live[0]. [0] https://docs.pulpproject.org/en/3.0/nightly/plugins/index.html#plugin-list
On Tue, Sep 18, 2018 at 3:19 PM, Simon Baatz <gmbno...@gmail.com> wrote: > On Sat, Sep 15, 2018 at 05:40:15PM -0400, Dennis Kliban wrote: > > That's great news Simon! It should be added to the plugins page of the > > docs[0]. What do you think? > > Good idea! PR is at [0] > > [0] https://github.com/pulp/pulp/pull/3646 >
_______________________________________________ Pulp-dev mailing list Pulp-dev@redhat.com https://www.redhat.com/mailman/listinfo/pulp-dev
