From: Ralf Jung Date: Thu, 16 Sep 2021 19:11:32 +0000 (-0400) Subject: add SIGPLAN award X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/8ba9c2a20a7b28152e5a6d820b109dc1038c0ce3?hp=8ba9c2a20a7b28152e5a6d820b109dc1038c0ce3 add SIGPLAN award ---