From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail-il1-f169.google.com ([209.85.166.169]) by ewsd; Thu Oct 31 16:46:23 EDT 2019
Received: by mail-il1-f169.google.com with SMTP id f201so1030744ilh.6
        for <9front@9front.org>; Thu, 31 Oct 2019 13:46:14 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=sphericalharmony-com.20150623.gappssmtp.com; s=20150623;
        h=from:message-id:date:to:subject:in-reply-to:mime-version
         :content-transfer-encoding;
        bh=QHH83to+IhphhgJL4rh7AX5bo692k+xFCMj7pa86xUg=;
        b=VmWXuR9BjASiB3NEFRKaiLeREajUqQzeSMK+JZfAB2dw84Y789jNQLwZQN8mW3s4n4
         suCnZK9f/snGhc1sE3QVCrTFT2cdvfSB7MH6Ghk1yzMMDCa7RDXnHA3X4pwRmG1pUAFZ
         KgzbrRI06gD1CGJItRmQZgdfMxyzvcYDVlAXJ8752mZ7rWFhb0j7KNDzcQYrOj4wuYUx
         8fxZPw4AKhKoA7BBcOHw9VFGs9vgxhHB1pzEyPtUtNuu0nRwEWe6fV1BkySIdUAuso8+
         XYlcr1fqvcK2mOVmHSgkEldDrlwPXoAF0Q+aN0pF2QkxcaDiRY9n+slLEBtmw40q08Ch
         0naA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:from:message-id:date:to:subject:in-reply-to
         :mime-version:content-transfer-encoding;
        bh=QHH83to+IhphhgJL4rh7AX5bo692k+xFCMj7pa86xUg=;
        b=Tb9Lgsjer4Cx8kdTChHZRf0pjp5vYcHdhZ/Ept8e1jXh/WdTZo68p8sHuKozSI08Pd
         N/np4zQETDkpDwLwAgGpEKkrHQtwq5DPA/gmIvf6SFIHZom235D8apPcRSbEKVYh4YTK
         HYkEAlAM8PrbHcbgnYF+B6gOPkQVrMnhY/E9MgVe/YqrI32hN8htxNX0YHhLn0KGPANC
         HH7QtGrOEzBFPEp3QDBqkQlfd+EHb8rD9PIEIzHExk6XPK7zWmSXLCZILgy6XzhPycdK
         wUUr5zk19JS38PF+wGTOzgFHq+JVEhPe6/6aiXvlUt0Pf19R2qNMAXGhAy0aDBluY3W0
         DtXQ==
X-Gm-Message-State: APjAAAUy0xI6JT73YzsaaPBvHhS0OStc7Sp4ZdSDDz09j0eCip2KB9RO
	FcV3C9TRFmbAuTKn5MBJRPjCvtf0iAw=
X-Google-Smtp-Source: APXvYqx59/aeReFJ6zyGeYtMhnTJmcYMXpqrZCOm2oxBFla54JGlZ1r8NFYk0q+kaHJ7INZ39Yf/hA==
X-Received: by 2002:a92:5d49:: with SMTP id r70mr8572561ilb.257.1572554774247;
        Thu, 31 Oct 2019 13:46:14 -0700 (PDT)
Return-Path: <mycroftiv@sphericalharmony.com>
Received: from opti.home (66-189-137-132.dhcp.mdsn.wi.charter.com. [66.189.137.132])
        by smtp.gmail.com with ESMTPSA id t27sm728592ila.17.2019.10.31.13.46.13
        for <9front@9front.org>
        (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256);
        Thu, 31 Oct 2019 13:46:13 -0700 (PDT)
From: mycroftiv@sphericalharmony.com
X-Google-Original-From: glenda@sphericalharmony.com
Message-ID: <FA9E4CC95FA335E995773C59CACC3E8B@sphericalharmony.com>
Date: Thu, 31 Oct 2019 14:50:37 -0500
To: 9front@9front.org
Subject: Re: [9front] upasfs(4): fix manpage typo
In-Reply-To: FEFD94CB802DD541EDAC2730CDC548D9@antares-labs.eu
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
List-ID: <9front.9front.org>
List-Help: <http://lists.9front.org>
X-Glyph: ➈
X-Bullshit: open-source service interface event 

lets see if this works as hoped!

hello from agda boolean algebra land on the MOOOOOOOON!