---
number: 4418
title: 'Merge pull request #4417 from neomjs/dev'
author: tobiu
state: MERGED
createdAt: '2023-05-12T10:28:10Z'
updatedAt: '2023-05-12T10:28:16Z'
closedAt: '2023-05-12T10:28:15Z'
mergedAt: '2023-05-12T10:28:15Z'
head: main
base: dev
url: 'https://github.com/neomjs/neo/pull/4418'
---
v5.7.2
