---
number: 4252
title: 'Merge pull request #4251 from neomjs/dev'
author: tobiu
state: MERGED
createdAt: '2023-04-04T14:20:15Z'
updatedAt: '2023-04-04T14:20:21Z'
closedAt: '2023-04-04T14:20:21Z'
mergedAt: '2023-04-04T14:20:21Z'
head: main
base: dev
url: 'https://github.com/neomjs/neo/pull/4252'
---
v5.3.12
