These two changes are unrelated and could be split into distinct
patches (IMHO, though others may disagree).
Two distinct patches or two distinct commits?
I assumed it was two distinct commits, but thinking about it, removing a
library could have its own patch.
--
Célestin Matte