Re: [patch] bug 672: Should insets replace selections?

[Jürgen Spitzmüller]

Bo Peng wrote:
> > Objections?
>
> Not from me.

Applied.

Jürgen