Date: Mon, 15 Mar 2021 05:39:17 -0700 From: David Wolfskill <david@catwhisker.org> To: Kyle Evans <kevans@freebsd.org> Cc: current <current@freebsd.org> Subject: Re: Recent if_wg work: Should DIAGNOSTIC imply KASSERT is available? Message-ID: <YE9VdSQvWmEL9Ypj@albert.catwhisker.org> In-Reply-To: <CACNAnaFOVOa2kctAqaWvEtfEKTHbyPmBVJN8_0LMTOx7kWdUVw@mail.gmail.com> References: <YE9DCkulTOWAaPuh@albert.catwhisker.org> <CACNAnaFOVOa2kctAqaWvEtfEKTHbyPmBVJN8_0LMTOx7kWdUVw@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
--ugz2sL8R6Xd/NtMT Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Mar 15, 2021 at 07:36:51AM -0500, Kyle Evans wrote: > On Mon, Mar 15, 2021 at 6:20 AM David Wolfskill <david@catwhisker.org> wr= ote: > ... > > So: Is DIAGNOSTIC intended to necessarily imply that KASSERT is > > available for use? > > >=20 > This is fixed in ff92a03616c5, thanks for the report! >=20 > Kyle Evans > .... Ah, cool -- I wasn't sure if I may have been doing something ... kinda dumb (again). :-} Thanks! Peace, david --=20 David H. Wolfskill david@catwhisker.org That broadly-popular "American Rescue Plan" (stimulus/COVID relrief)? Ever Republican vote in Congress was against it. See https://www.catwhisker.org/~david/publickey.gpg for my public key. --ugz2sL8R6Xd/NtMT Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQGTBAEBCgB9FiEE4owz2QxMJyaxAefyQLJg+bY2PckFAmBPVXVfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEUy OEMzM0Q5MEM0QzI3MjZCMTAxRTdGMjQwQjI2MEY5QjYzNjNEQzkACgkQQLJg+bY2 PclT/Af/RVNd55Xcjf23uAWy3Gbjihs8PQP3ZFos1m1kOTEz8bLquGXgU04Zqc0J TlvdgGK7QxpFytoT9zk9a+/Fq1oa2IGOxIiA+g8SZQZoKEvZ3hiaxXZKGrAGRCDb cqlGFIsr8udV5TsKwfG6X+6T0Y3f/2vCFVMcJdCQtUPcNf4exk2fahND29KHnO/L 00ljbZvwY7UudSrHFpieqftuUcrVBODD/XSL2q55N3resnWsaIiJAA/mkmp8GaU8 zkaKSDdYlnK7OAp+Jl5S7irF7r3iSzaUlmzRQUURAItvbevBaN56cnwP2awN7V+O qOyRUn8jAktOzWt43xCJZKvknWuKsQ== =N+BX -----END PGP SIGNATURE----- --ugz2sL8R6Xd/NtMT--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?YE9VdSQvWmEL9Ypj>