▲ 1 r/patentexaminer4th of July holidayAre we getting this Friday off for the 4th of July? reddit.com u/Specialist_Pen3593 — 4 days ago