Commits on May 10, 2020

1. general fix

   

   giovd8 committed May 10, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for 9c20817
   • Browse repository at this point

   Copy the full SHA

   9c20817 View commit details

   Browse the repository at this point in the history