Gitlab will be upgraded to the latest version today, starting at 4:00 pm. Intermittent downtime is expected for approximately 15 minutes, work is expected to be completed by 4:30.
Eliminate annoying Pseudodesc structure. Eliminate unnecessary parts of mmu.h.
