I didn't add them, because those files never made it to any release cut. (they lived 2-3 weeks in the tree)
I will look very strange for someone to see diff between 15.x and 16.0-release with files that never existed. I can open diff if that still required. On Tue, 11 Aug 2026, at 16:10, Adrian Chadd wrote: > On Tue, 11 Aug 2026 at 08:09, Gleb Smirnoff <[email protected]> wrote: > > > Deleted files should be added to ObsoleteFiles.inc. > > Thanks, I'll ask Abdelkader to submit a change for that. > > > -adrian >
