**** BEGIN LOGGING AT Mon Feb 04 02:59:57 2019
Feb 04 13:40:00 <brolin_empey> Yay, apparently the search function of Google Groups is (still) completely broken.
**** ENDING LOGGING AT Tue Feb 05 03:00:01 2019