=== JoseeAntonioR is now known as jose [23:35] man, i sure wish i'd known how to file bugs long ago. 17.10 is pretty awesome!! i've already filed my first bug.