On Wed, Mar 31, 2021 at 6:11 PM Elan Ruusamäe <g...@pld-linux.org> wrote: > On 31.03.2021 18:01, Paweł Zuzelski wrote: > > Hi all, > > > > Could someone please review and push https://github.com/pawelz/pld-dhcp > > specifically that commit: > > https://github.com/pawelz/pld-dhcp/commit/071ac6b61dedf115572076ad17bbbef53226b22c > > ? > > > > This change fixes broken init for dhcp6. > > > > It's been 10 years since I touched PLD, so I don't really feel comfortable > > pushing without supervision even if I still have access to the repo. > > you can push to a branch > > you can also open a pull request in github
Ah, thank you. I haven't realized that those repos are actually hosted on github. I created a PR there. _______________________________________________ pld-devel-en mailing list pld-devel-en@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-devel-en