---
number: 4587
title: 'Merge pull request #4586 from neomjs/dev'
author: tobiu
state: MERGED
createdAt: '2023-07-28T10:35:34Z'
updatedAt: '2023-07-28T10:35:39Z'
closedAt: '2023-07-28T10:35:39Z'
mergedAt: '2023-07-28T10:35:39Z'
head: main
base: dev
url: 'https://github.com/neomjs/neo/pull/4587'
---
v5.12.5
