Merge changes from develop

Comments and whitespace Skip file-locking and cache changes
2020-10-08 09:40:18 -05:00
parent 29874423bf
commit cdbe6b78f0
195 changed files with 12508 additions and 12599 deletions
--- a/config/gnu-warnings/no-developer-4.8
+++ b/config/gnu-warnings/no-developer-4.8
@@ -1,6 +1,5 @@
 # no-developer warning flag added for GCC >= 4.5
 -Wno-jump-misses-init
-Wno-unsuffixed-float-constants

 # no-developer warning flag added for GCC >= 4.6
 -Wno-suggest-attribute=const