On Jun 19, Konstantin Osipov wrote:
> * Sergei Golubchik <serg@stripped> [10/06/19 13:11]:
> > > Why was that done?
> > I guess, somebody upgraded innodb_plugin in MySQL source tree to a new
> > version (from innodb svn, perhaps?), and instead of replacing files
> > under bzr nose (rm -rf innodb_plugin; cp -r ~/new/innodb_plugin .)
> > decided to inform bzr that old tree is deleted (bzr rm -force innodb_plugin).
> Hm, I spoke with Vasil Dimov, and neither of us knew that this
> option exists. AFAIU it would be an unsupported hack to do it this
I'm sorry, I don't follow.
What option ? Do what what way ?