Commit 94a157a
committed
minor #7374 Added a note about case-insensitiveness of service ids (javiereguiluz)
This PR was squashed before being merged into the master branch (closes #7374).
Discussion
----------
Added a note about case-insensitiveness of service ids
This fixes #7367. I propose to add just a small note because my guess it that the case-insensitive behavior is unused by 99.99% of developers and most of them are even unaware of it.
Commits
-------
0071fae Added a note about case-insensitiveness of service ids1 file changed
+6
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
154 | 154 | | |
155 | 155 | | |
156 | 156 | | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
157 | 163 | | |
158 | 164 | | |
159 | 165 | | |
| |||
0 commit comments