Make obj_id argument of ObjStorage.add() required
In practice, it is not very useful to recompute it in the objstorage,
as callers already know it.
vlorentz | Authored on Jun 21 2022, 4:00 PM |
vlorentz | Pushed on Jun 22 2022, 4:04 PM |
Buildable 29987 | |
Build 46882: test-and-build | Jenkins console · Jenkins |