From: Johannes Schindelin <hidden> Date: 2016-06-15 22:41:52
Hi,
On Fri, 15 Apr 2005, David Woodhouse wrote:
But if it can be done cheaply enough at a later date even though we end
up repeating ourselves, and if it can be done _well_ enough that we
shouldn't have just asked the user in the first place, then yes, OK I
agree.
The repetition could be helped by using a cache.
Ciao,
Dscho