Re: Base 1.28.1 API/ABI break?

[Richard Frith-Macdonald]

> On 7 Jan 2023, at 18:42, Yavor Doganov <yavor@gnu.org> wrote:
> 

Sorry about the change ... I had thought that the names were changed after 
1.28.0 and fixed.

> Usually, the correct course of action is to revert the upload to
> Debian and wait for upstream to make another release with a bumped
> SONAME.  But in this case we'll certainly miss the deadline and we'll
> end up with Base/1.28.0 and GUI/0.29.0 in the new Debian release.

How certainly?
I could bump the gnustep-base release version today (8 Jan).