From mboxrd@z Thu Jan  1 00:00:00 1970
From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: Re: [PATCH 0/3] add missing degenerate() for logical-not
Date: Sun, 10 Dec 2017 18:24:41 +0100
Message-ID: <20171210172441.gbg6kwrpofkfuyba@ltop.local>
References: <20171207171613.34989-1-luc.vanoostenryck@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <linux-sparse-owner@vger.kernel.org>
Received: from mail-wm0-f54.google.com ([74.125.82.54]:42540 "EHLO
        mail-wm0-f54.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1751746AbdLJRYo (ORCPT
        <rfc822;linux-sparse@vger.kernel.org>);
        Sun, 10 Dec 2017 12:24:44 -0500
Received: by mail-wm0-f54.google.com with SMTP id b199so6799388wme.1
        for <linux-sparse@vger.kernel.org>; Sun, 10 Dec 2017 09:24:44 -0800 (PST)
Received: from ltop.local ([2a02:a03f:40a3:e300:5125:888e:220:394c])
        by smtp.gmail.com with ESMTPSA id t19sm5539966edh.49.2017.12.10.09.24.42
        for <linux-sparse@vger.kernel.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Sun, 10 Dec 2017 09:24:42 -0800 (PST)
Content-Disposition: inline
In-Reply-To: <20171207171613.34989-1-luc.vanoostenryck@gmail.com>
Sender: linux-sparse-owner@vger.kernel.org
List-Id: linux-sparse@vger.kernel.org
To: linux-sparse@vger.kernel.org

This has now been pushed to:
	git://github.com/lucvoo/sparse.git

-- Luc Van Oostenryck