On Thu, 9 Nov 2023 at 23:37, Krister Johansen kjlx@templeofstupid.com 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