Skip to content
This repository was archived by the owner on Aug 8, 2024. It is now read-only.

[2020-02] Optimize CopySymbolicHotkeys by adding file stamp heuristics#166

Merged
akoeplinger merged 4 commits into2020-02from
dev/therzok/symbolic-hotkeys-2020-02
Dec 7, 2020
Merged

[2020-02] Optimize CopySymbolicHotkeys by adding file stamp heuristics#166
akoeplinger merged 4 commits into2020-02from
dev/therzok/symbolic-hotkeys-2020-02

Conversation

@Therzok
Copy link
Contributor

@Therzok Therzok commented Dec 2, 2020

@akoeplinger akoeplinger merged commit 6b8f054 into 2020-02 Dec 7, 2020
@akoeplinger akoeplinger deleted the dev/therzok/symbolic-hotkeys-2020-02 branch December 7, 2020 15:48
akoeplinger added a commit to mono/mono that referenced this pull request Dec 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants