Re: Open patches that are useful for me

[Petr M. <mi...@ph...>]

> #616199 Ignore title string after notitle
> #713166 margins changed from int to float
> #835235 minitics updates

All these patches are useful, I support commiting them.

---
PM