Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Editing a script - an old bug is back again #1804

Closed
janekptacijarabaci opened this issue Sep 11, 2013 · 1 comment
Closed

Editing a script - an old bug is back again #1804

janekptacijarabaci opened this issue Sep 11, 2013 · 1 comment
Milestone
1.13

Comments

@janekptacijarabaci
Copy link
Contributor

Seems that in Greasemonkey 1.12 an old bug is back again:
#1710

Not confirmed on: Greasemonkey 1.11
janekptacijarabaci pushed a commit to janekptacijarabaci/greasemonkey that referenced this issue Sep 12, 2013
Editing a script - an old bug is back again
53f7d94 
greasemonkey#1804
@ubless607
Copy link

Same here. The version is not changed. I have to restart :(

arantius pushed a commit to arantius/greasemonkey that referenced this issue Oct 2, 2013
@arantius
Editing a script - an old bug is back again
da7f591 
greasemonkey#1804
@arantius arantius closed this as completed Oct 2, 2013
@janekptacijarabaci janekptacijarabaci mentioned this issue Oct 8, 2013
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.13
Development

No branches or pull requests
3 participants
@arantius @janekptacijarabaci @ubless607