@StephenWassell pushed 7 commits.

• 0aa50f2 Make Symbols tab "Sort by Name" case insensitive
• cfadfad Merge remote-tracking branch 'upstream/master' into symbols-case-insensitive
• 31b9d61 Merge remote-tracking branch 'upstream/master' into symbols-case-insensitive
• d08f525 Merge remote-tracking branch 'upstream/master' into symbols-case-insensitive
• 5e1dcf4 Merge remote-tracking branch 'upstream/master' into symbols-case-insensitive
• 3d83273 Merge remote-tracking branch 'upstream/master' into symbols-case-insensitive
• fe742c8 Merge remote-tracking branch 'upstream/master' into symbols-case-insensitive

—
You are receiving this because you are subscribed to this thread.
View it on GitHub or mute the thread.