Tag HEAD as Dev3/m3 of 4.2.0
extraneous brace

(cherry picked from commit b0eb6e5cefc4a0e3265278c0289ee9919cd99987)
1 file changed
tree: 968a2a0618a80539ce7a1fded8e789ddd639e3f0
  1. ext_libraries/
  2. ext_sources/
  3. extras/
  4. main/
  5. test/
  6. .gitignore