On Sat, 2017-03-04 at 10:04 -0500, Matthew Miller wrote: > In any case... it seems like it *did* get fixed? Seems so, though both bug reports are still open. Michael _______________________________________________ desktop mailing list -- desktop@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to desktop-leave@xxxxxxxxxxxxxxxxxxxxxxx
