On Tue, Jan 3, 2023 at 5:41 PM Pavel Borisov <pashkin.e...@gmail.com> wrote: > On Tue, 3 Jan 2023 at 17:28, Justin Pryzby <pry...@telsasoft.com> wrote: > > I should've mentioned that the same things should be removed from > > Makefile, too... > > > Thanks, Justin! > Attached is a new patch accordingly.
Thank you. I've pushed my version, which is split into two commits. ------ Regards, Alexander Korotkov