From: Walter Alejandro Iglesias <wai@roquesor.com>
Subject: Re: Thinkpad t410 does not reboot properly
To: stu@spacehopper.org, tech@openbsd.org
Date: Wed, 5 Jun 2024 11:40:44 +0200

Then, should I assume it won't be a short term solution?