* 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