Re: [MiNT] Task Manager

To: "Peter Slegg" <p.slegg@scubadivers.co.uk>
Subject: Re: [MiNT] Task Manager
From: "Helmut Karlowski" <helmut.karlowski@ish.de>
Date: Thu, 13 Dec 2012 23:02:55 +0100
In-reply-to: <000e2562.01da85001ac5@smtp.freeola.net>
List-help: <mailto:ecartis@lists.fishpool.fi?Subject=help>
List-id: <mint.lists.fishpool.fi>
List-owner: <mailto:tjhukkan@fishpool.fi>
List-post: <mailto:mint@lists.fishpool.fi>
List-subscribe: <mailto:mint-request@lists.fishpool.fi?Subject=subscribe>
List-unsubscribe: <mailto:mint-request@lists.fishpool.fi?Subject=unsubscribe>
References: <3570295.8RFCLPILWT@chertsey> <000e2562.01da85001ac5@smtp.freeola.net>
Resent-date: Thu, 13 Dec 2012 23:04:31 +0100
Resent-from: "Helmut Karlowski" <helmut.karlowski@ish.de>
Resent-message-id: <op.wo9zlt1yofd6j1@nebbiolo>
Resent-to: "mint@lists.fishpool.fi" <mint@lists.fishpool.fi>
Sender: mint-bounce@lists.fishpool.fi
User-agent: Opera Mail/12.02 (Win32)

Peter Slegg, 13.12.2012 21:06:29:

This is exactly the same. I had forgotten to close and re-open the
Task Mgr.


Fixed in 1.4.2.

--
Helmut Karlowski

References:
- Re: [MiNT] Task Manager
  - From: Jean-François Lemaire <jflemaire@skynet.be>
- Re: [MiNT] Task Manager
  - From: Peter Slegg <p.slegg@scubadivers.co.uk>