From 9d3a62a34758fbb94b0d764ed9cdc87576164bb1 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 26 Jun 2019 12:22:02 +0200
Subject: [PATCH] re-register misc, pwd, and sanit.

-- 
GitLab