Skip to content
Commit 5c3777f6 authored by Marc Vef's avatar Marc Vef
Browse files

Merge branch 'fmt10' into 'master'

Update to fmt10

In order to reduce warnings, I propose an update to fmt10.

It builds over the other MR

* fmt10 needs a small change in Hermes (branch fmt10)
* fmt10 needs changes in date library 
* It produces segfaults as we get stuck in a syscall loop
* Removed date library and replaced with a small gmtime replacement without timezone
* Rocksdb updated
* 
* 0.9.3 docker images created

See merge request !172
parents f2092c3b 237f6110
Pipeline #4563 passed with stages
in 12 minutes and 32 seconds
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment