Merge branch 'master' into state-braces

.github/CODEOWNERS

@@ -1,4 +1,4 @@
 ######################################################################
 # These owners will be the default owners for everything in the repo #
 ######################################################################
-*       @admiralawkbar @jwiebalk @zkoppert @IAmHughes
+*       @admiralawkbar @jwiebalk @zkoppert @IAmHughes @nemchik @Hanse00

.github/workflows/automerge-dependabot.yml

@@ -30,7 +30,7 @@ jobs:
     if: github.actor == 'dependabot[bot]'
     steps:
       - name: merge
-        uses: actions/github-script@0.2.0
+        uses: actions/github-script@v2
         with:
           script: |
             github.pullRequests.createReview({

lib/buildFileList.sh

@@ -86,7 +86,7 @@ function BuildFileList() {
     ###########################
     # Extract just the file and extension, reverse it, cut off extension,
     # reverse it back, substitute to lowercase
-    FILE_TYPE=$(basename "${FILE}" | rev | cut -f1 -d'.' | rev | awk '{print tolower(${0})}')
+    FILE_TYPE=$(basename "${FILE}" | rev | cut -f1 -d'.' | rev | awk '{print tolower($0)}')
 
     ##############
     # Print file #