Upgrade to flocq 2.4.0
Merge pull request #1 from jhjourdan/master

Upgrade to flocq 2.4.0