Skip to content

Conversation

@jjw24
Copy link
Member

@jjw24 jjw24 commented Jul 23, 2022

Release Notes

Bug fixes

@jjw24 jjw24 added the release Release PR which contains the changes going into the upcoming release label Jul 23, 2022
@jjw24 jjw24 added this to the 1.9.4 milestone Jul 23, 2022
@jjw24 jjw24 self-assigned this Jul 23, 2022
jjw24 added 8 commits July 23, 2022 12:15
Respect Decimal Separator for query not just result
Set Shell plugin's default replace Win R hotkey to off
…ility

Fix incorrect button visibility in Explorer's expander control
…eption

avoid exception in ChromiumBookmarkLoader.cs
Fix typo for plugin title in context menu and WindowsSettings name
Remove All Cleartype Rendering
@taooceros
Copy link
Member

merge to master instead of dev?

@taooceros
Copy link
Member

also should we involve the new translations?

@jjw24
Copy link
Member Author

jjw24 commented Jul 23, 2022

yep

@jjw24 jjw24 changed the base branch from dev to master July 23, 2022 03:41
@jjw24
Copy link
Member Author

jjw24 commented Jul 23, 2022

also should we involve the new translations?

I tried, but got messy because of the huge number of files changed. So I think might have to have them go with 1.10.0 release instead.

@taooceros
Copy link
Member

also should we involve the new translations?

I tried, but got messy because of the huge number of files changed. So I think might have to have them go with 1.10.0 release instead.

ok make senses

@taooceros
Copy link
Member

The build has failed.
image

@taooceros
Copy link
Member

It's because this one has add the property for copy.
#1108

@jjw24
Copy link
Member Author

jjw24 commented Jul 23, 2022

Should be good now.

@taooceros
Copy link
Member

taooceros commented Jul 23, 2022

Should be good now.

maybe open another pr target to dev for that in case we forget. Hmmm maybe leave it in the future

@jjw24 jjw24 merged commit 6dedb4f into master Jul 24, 2022
@jjw24 jjw24 deleted the release_1_9_4 branch July 24, 2022 01:39
@jjw24
Copy link
Member Author

jjw24 commented Jul 24, 2022

I merged master back into dev (fee3d1d) now, looks good, the change was kept

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release PR which contains the changes going into the upcoming release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants