That new progress meter · Johannes Schindelin <hidden> · 2016-06-15
Re: That new progress meter · Pierre Habouzit <hidden> · 2016-06-15
Re: That new progress meter · Nicolas Pitre <hidden> · 2016-06-15
Re: That new progress meter · Alex Riesen <hidden> · 2016-06-15

That new progress meter

From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:43:46

Hi Nico,

that new progress meter sure is amazing and useful!

Thanks,
Dscho