| 11694 | @since version 3.6.0 |
| 11695 | */ |
| 11696 | friend json_pointer operator/(const json_pointer& lhs, |
| 11697 | const json_pointer& rhs) |
| 11698 | { |
| 11699 | return json_pointer(lhs) /= rhs; |
| 11700 | } |
| 11701 | |
| 11702 | /*! |
| 11703 | @brief create a new JSON pointer by appending the unescaped token at the end of the JSON pointer |
nothing calls this directly
no test coverage detected