Deep Blue

[JaimeStill]

Both 16 and 39 are named .deep_blue.

[torarnv]

And the two are different. I suggest renaming the latter one to .deep_blue_2

[JaimeStill]

With this pending commit, I'll close this issue.

[torarnv]

You also have to merge the pull request - Tor Arne

…

On 21 Jun 2018, at 16:30, Jaime Still ***@***.***> wrote: With this pending commit, I'll close this issue. — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.

[JaimeStill]

@torarnv, I don't have write access to the repository

[torarnv]

Then please reopen the issue until the commit/PR has been merged. - Tor Arne

…

On 21 Jun 2018, at 19:51, Jaime Still ***@***.***> wrote: @torarnv, I don't have write access to the repository — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.