Menu

Code Merge Request #46: Create preference option to show region naming dialog (rejected)

Merging...

Merged

Something went wrong. Please, merge manually

Checking if merge is possible...

Something went wrong. Please, merge manually

David Lewis wants to merge 0 commits from /u/davidjedi/freecol/ to master, 2022-09-21

Commit Date  

Discussion

  • Mike Pope

    Mike Pope - 2017-08-08

    Whenever we add a new option we put in backward compatibility code to add it if it is missing. In this case the place to do this is ClientOptions.fixClientOptions.

     
    • David Lewis

      David Lewis - 2017-08-09

      Added commit for compat (fixClientOptions)

       
  • David Lewis

    David Lewis - 2022-09-21
    • Status: open --> rejected
     
MongoDB Logo MongoDB