Commit b7fcd55
committed
bug #1041 [Agent] Fix type of
This PR was merged into the main branch.
Discussion
----------
[Agent] Fix type of `Toolbox::$tools`
| Q | A
| ------------- | ---
| Bug fix? | yes
| New feature? | no
| Docs? | no
| Issues |
| License | MIT
see #1010 (comment)
Commits
-------
0a90585 [Agent] Fix type of Toolbox::$toolsToolbox::$tools (lyrixx)1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | | - | |
| 37 | + | |
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
| 49 | + | |
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
| |||
0 commit comments