belatedly added comment made somewhat earlier
This commit is contained in:
parent
51e6294d15
commit
5cbfb74391
1 changed files with 10 additions and 0 deletions
|
@ -0,0 +1,10 @@
|
|||
[[!comment format=mdwn
|
||||
username="joey"
|
||||
subject="""comment 1"""
|
||||
date="2022-12-12T17:06:40Z"
|
||||
content="""
|
||||
I think this is a good idea. Particularly there was no good reason for
|
||||
it to default to false when either value is not a number.
|
||||
|
||||
I've implemented this.
|
||||
"""]]
|
Loading…
Add table
Add a link
Reference in a new issue