I'm not so worried about getting credit as getting it fixed -- I'm guessing if you post it, it might get more attention quicker than if do, so please go ahead and post it.
By the way -- in case anybody happens upon this, and is unfamiliar with this bug, there's a very simple workaround for it.
Drop the multi-index key before altering the field, then recreate the multi-index key afterward.
I'm not so worried about getting credit as getting it fixed -- I'm guessing if you post it, it might get more attention quicker than if do, so please go ahead and post it.
By the way -- in case anybody happens upon this, and is unfamiliar with this bug, there's a very simple workaround for it.
Drop the multi-index key before altering the field, then recreate the multi-index key afterward.