Skip to content

Conversation

@pikax
Copy link
Member

@pikax pikax commented Oct 15, 2019

based on the comment: #275 (comment)

@yyx990803
Copy link
Member

Duplicate of #282

@yyx990803 yyx990803 marked this as a duplicate of #282 Oct 15, 2019
@yyx990803 yyx990803 closed this Oct 15, 2019
@pikax pikax deleted the make_map_globalsWhitelist branch October 16, 2019 08:46
yyx990803 pushed a commit that referenced this pull request Dec 9, 2024
…amicProp` when possible (#291)


Co-authored-by: Doctor Wu <doctorwu@moego.pet>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants