On Thu, 9 Nov 2023 at 23:37, Krister Johansen <kjlx@xxxxxxxxxxxxxxxxxx> wrote: > Either should do, but I wasn't sure which approach was preferable. An incremental is better in this situation. Applied and pushed. > Thanks, and my apologies for the inconvenience. Really no need to apologize, this happens and the best possible outcome is that it get fixed before being released. Thanks, Miklos
